From 76d7d429442fe73692a90b1854cf0455cb3d83fa Mon Sep 17 00:00:00 2001 From: Grant Gayed Date: Tue, 25 Jun 2013 11:46:25 -0400 Subject: Bug 400626 - Crash webkitWebViewRegisterForIconNotification --- .../gtk/org/eclipse/swt/browser/WebKit.java | 11 +++++++++++ 1 file changed, 11 insertions(+) (limited to 'bundles/org.eclipse.swt/Eclipse SWT WebKit/gtk/org/eclipse/swt/browser/WebKit.java') diff --git a/bundles/org.eclipse.swt/Eclipse SWT WebKit/gtk/org/eclipse/swt/browser/WebKit.java b/bundles/org.eclipse.swt/Eclipse SWT WebKit/gtk/org/eclipse/swt/browser/WebKit.java index f253856721..fa826ecfe9 100644 --- a/bundles/org.eclipse.swt/Eclipse SWT WebKit/gtk/org/eclipse/swt/browser/WebKit.java +++ b/bundles/org.eclipse.swt/Eclipse SWT WebKit/gtk/org/eclipse/swt/browser/WebKit.java @@ -665,6 +665,17 @@ public void create (Composite parent, int style) { size.x -= minSize.width; size.y -= minSize.height; browser.setSize (size); } + + /* + * WebKitGTK version 1.10.x, and possibly other versions as well, crash + * sporadically in webkitWebViewRegisterForIconNotification(). Work + * around this crash by disabling WebKit's icon database, which is fine + * to do since the Browser does not make use of it in any way. + */ + long /*int*/ database = WebKitGTK.webkit_get_favicon_database (); + if (database != 0) { + WebKitGTK.webkit_favicon_database_set_path (database, 0); + } } void addEventHandlers (long /*int*/ web_view, boolean top) { -- cgit