diff options
| author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-07-20 10:13:47 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-07-20 10:13:47 (GMT) |
| commit | d6ec6db8809659e827a2d5f6387451084e99338c (patch) | |
| tree | 012f022e2116955cbc66be6536d4a4821af006f7 /shell/PeopleWindow.py | |
| parent | 87cb115aa0155291d2473537a3fa2da1400c174f (diff) | |
Make the console contextual to the activity and use the
window manager to activate it.
Diffstat (limited to 'shell/PeopleWindow.py')
| -rw-r--r-- | shell/PeopleWindow.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/shell/PeopleWindow.py b/shell/PeopleWindow.py index 33665ab..3d999c3 100644 --- a/shell/PeopleWindow.py +++ b/shell/PeopleWindow.py @@ -9,6 +9,7 @@ class PeopleWindow(gtk.Window): self.set_type_hint(gtk.gdk.WINDOW_TYPE_HINT_DIALOG) self.set_default_size(620, 440) + self.connect("delete_event", lambda w, e: w.hide_on_delete()) hbox = gtk.HBox(False, 12) hbox.set_border_width(12) |