diff options
| author | Marco Pesenti Gritti <mpg@redhat.com> | 2006-04-26 20:35:19 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <mpg@redhat.com> | 2006-04-26 20:35:19 (GMT) |
| commit | 8f702f2cf547abc3e719346f113a14423f048ca9 (patch) | |
| tree | 38f7cce908bcbd24c6be3c4e218413738bdb8e58 /browser | |
| parent | fa43840b3cf5fe5032a45ae2af55ef2b8b2a6c8b (diff) | |
Fix up browser life cycle
Diffstat (limited to 'browser')
| -rwxr-xr-x | browser/browser.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/browser/browser.py b/browser/browser.py index f193241..1b19c79 100755 --- a/browser/browser.py +++ b/browser/browser.py @@ -213,6 +213,10 @@ class WebActivity(activity.Activity): BrowserShell.get_instance().open_browser(uri) return True + def activity_on_disconnected_from_shell(self): + gtk.main_quit() + gc.collect() + class BrowserShell(dbus.service.Object): instance = None |