diff options
| author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-07-19 16:19:00 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-07-19 16:19:00 (GMT) |
| commit | a33bdbc8c5f6fd65f0504f5a9a3c073dbfd842e9 (patch) | |
| tree | bb2996d50667003a567e58b9abb9d62a9a812f12 /shell | |
| parent | e8a342c21447e663c40f9408dd0541485be69e09 (diff) | |
Tweak people window size
Diffstat (limited to 'shell')
| -rw-r--r-- | shell/PeopleWindow.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/shell/PeopleWindow.py b/shell/PeopleWindow.py index 76e0add..33665ab 100644 --- a/shell/PeopleWindow.py +++ b/shell/PeopleWindow.py @@ -8,7 +8,7 @@ class PeopleWindow(gtk.Window): gtk.Window.__init__(self) self.set_type_hint(gtk.gdk.WINDOW_TYPE_HINT_DIALOG) - self.set_default_size(620, 460) + self.set_default_size(620, 440) hbox = gtk.HBox(False, 12) hbox.set_border_width(12) |