diff options
author | Marco Pesenti Gritti <mpg@redhat.com> | 2007-08-17 14:18:57 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <mpg@redhat.com> | 2007-08-17 14:18:57 (GMT) |
commit | de9e02b498cf157da0b2af7b135a8fd93a7b57ae (patch) | |
tree | 9db3a794d40a37f3c97913679e2c2c3bd962c5c2 /shell/view/frame/framewindow.py | |
parent | dfe8ff68065d5191a2ade265432000327b0de7ce (diff) |
Fix several sizing bugs.
Diffstat (limited to 'shell/view/frame/framewindow.py')
-rw-r--r-- | shell/view/frame/framewindow.py | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/shell/view/frame/framewindow.py b/shell/view/frame/framewindow.py index 82dcb32..6738bf2 100644 --- a/shell/view/frame/framewindow.py +++ b/shell/view/frame/framewindow.py @@ -25,6 +25,7 @@ class FrameWindow(gtk.Window): def __init__(self, position): gtk.Window.__init__(self) self.hover = False + self.size = style.GRID_CELL_SIZE + style.LINE_WIDTH self._position = position @@ -80,15 +81,12 @@ class FrameWindow(gtk.Window): def append(self, child, flags=0): self._bg.append(child, flags) - + def _update_size(self): if self._position == gtk.POS_TOP or self._position == gtk.POS_BOTTOM: - width = gtk.gdk.screen_width() - height = style.GRID_CELL_SIZE + self.resize(gtk.gdk.screen_width(), self.size) else: - width = style.GRID_CELL_SIZE - height = gtk.gdk.screen_height() - self.resize(width, height) + self.resize(self.size, gtk.gdk.screen_height()) def _realize_cb(self, widget): self.window.set_type_hint(gtk.gdk.WINDOW_TYPE_HINT_DIALOG) |