diff options
| author | Marco Pesenti Gritti <mpg@redhat.com> | 2006-04-24 19:03:21 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <mpg@redhat.com> | 2006-04-24 19:03:21 (GMT) |
| commit | 281afb7a2f70c07bea27ed8f80d51ac84237386a (patch) | |
| tree | f4372db1bb2a70ede54535ac93cb2fe309dcecdb | |
| parent | 13b22192236565738f2105866659327b1784099d (diff) | |
Merge, hi hate mercurial really
| -rwxr-xr-x | browser/browser.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/browser/browser.py b/browser/browser.py index 44ae6ea..41a7f80 100755 --- a/browser/browser.py +++ b/browser/browser.py @@ -213,4 +213,7 @@ class WebActivity(activity.Activity): web_activity = WebActivity() web_activity.activity_connect_to_shell() -gtk.main() +try: + gtk.main() +except KeyboardInterrupt: + pass |