diff options
| author | Marco Pesenti Gritti <mpg@redhat.com> | 2006-04-24 19:00:58 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <mpg@redhat.com> | 2006-04-24 19:00:58 (GMT) |
| commit | 13b22192236565738f2105866659327b1784099d (patch) | |
| tree | 66b769c14206479b8040e00d6bb75b2f66b5bd69 /browser | |
| parent | 9f0348c00264a697204550a463abfdabfb6df5a6 (diff) | |
Fix a serialization bug (inversed tags)
Diffstat (limited to 'browser')
| -rwxr-xr-x | browser/browser.py | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/browser/browser.py b/browser/browser.py index 41a7f80..44ae6ea 100755 --- a/browser/browser.py +++ b/browser/browser.py @@ -213,7 +213,4 @@ class WebActivity(activity.Activity): web_activity = WebActivity() web_activity.activity_connect_to_shell() -try: - gtk.main() -except KeyboardInterrupt: - pass +gtk.main() |