diff options
| author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-09-22 19:11:14 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-09-22 19:11:14 (GMT) |
| commit | 1f8b5cfbf38f99b9d999f157aba3d76c6dd632a3 (patch) | |
| tree | e36db4057f4a5edf157314afd6cd9b5485f4d776 /activities | |
| parent | 9b9d939e45f388b13d9874ddeca3d138378a5932 (diff) | |
Work around browser crash.
Diffstat (limited to 'activities')
| -rw-r--r-- | activities/browser/BrowserActivity.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/activities/browser/BrowserActivity.py b/activities/browser/BrowserActivity.py index 6aa58b3..8203a67 100644 --- a/activities/browser/BrowserActivity.py +++ b/activities/browser/BrowserActivity.py @@ -16,6 +16,7 @@ class BrowserActivity(Activity): def __init__(self): Activity.__init__(self) + gtkmozembed.push_startup() gtkmozembed.set_profile_path(env.get_profile_path(), 'gecko') self._share_service = None |