diff options
author | Silenio Quarti <silenio> | 2011-04-01 19:52:31 +0000 |
---|---|---|
committer | Silenio Quarti <silenio> | 2011-04-01 19:52:31 +0000 |
commit | 52c110b93169ca50cc17336de89321eb76b5f3d3 (patch) | |
tree | 624a8a7a9fdfe8cf9baf1cf53e014d1bb048c0c3 /bundles/org.eclipse.swt/Eclipse SWT WebKit/gtk/org/eclipse | |
parent | ea1614638a2d49cacb0be9856960133527b7df52 (diff) | |
download | eclipse.platform.swt-52c110b93169ca50cc17336de89321eb76b5f3d3.tar.gz eclipse.platform.swt-52c110b93169ca50cc17336de89321eb76b5f3d3.tar.xz eclipse.platform.swt-52c110b93169ca50cc17336de89321eb76b5f3d3.zip |
Bug 341085 - swt tests timing out linux.gtk.x86 in N20110327-2000
Diffstat (limited to 'bundles/org.eclipse.swt/Eclipse SWT WebKit/gtk/org/eclipse')
-rw-r--r-- | bundles/org.eclipse.swt/Eclipse SWT WebKit/gtk/org/eclipse/swt/browser/WebKit.java | 82 |
1 files changed, 38 insertions, 44 deletions
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 5bd447c992..a345c35c88 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 @@ -1662,50 +1662,44 @@ int /*long*/ webkit_status_bar_text_changed (int /*long*/ web_view, int /*long*/ } int /*long*/ webkit_web_view_ready (int /*long*/ web_view) { - /* TEMPORARY CODE */ - OS.gdk_threads_enter(); - try { - WindowEvent newEvent = new WindowEvent (browser); - newEvent.display = browser.getDisplay (); - newEvent.widget = browser; - - int /*long*/ settings = WebKitGTK.webkit_web_view_get_window_features (webView); - int[] result = new int[1]; - OS.g_object_get (settings, WebKitGTK.locationbar_visible, result, 0); - newEvent.addressBar = result[0] != 0; - result[0] = 0; - OS.g_object_get (settings, WebKitGTK.menubar_visible, result, 0); - newEvent.menuBar = result[0] != 0; - result[0] = 0; - OS.g_object_get (settings, WebKitGTK.statusbar_visible, result, 0); - newEvent.statusBar = result[0] != 0; - result[0] = 0; - OS.g_object_get (settings, WebKitGTK.toolbar_visible, result, 0); - newEvent.toolBar = result[0] != 0; - result[0] = 0; - OS.g_object_get (settings, WebKitGTK.x, result, 0); - int x = result[0]; - result[0] = 0; - OS.g_object_get (settings, WebKitGTK.y, result, 0); - int y = result[0]; - result[0] = 0; - OS.g_object_get (settings, WebKitGTK.width, result, 0); - int width = result[0]; - result[0] = 0; - OS.g_object_get (settings, WebKitGTK.height, result, 0); - int height = result[0]; - result[0] = 0; - if (x != -1 && y != -1) { - newEvent.location = new Point (x,y); - } - if (width != -1 && height != -1) { - newEvent.size = new Point (width,height); - } - for (int i = 0; i < visibilityWindowListeners.length; i++) { - visibilityWindowListeners[i].show (newEvent); - } - } finally { - OS.gdk_threads_leave(); + WindowEvent newEvent = new WindowEvent (browser); + newEvent.display = browser.getDisplay (); + newEvent.widget = browser; + + int /*long*/ settings = WebKitGTK.webkit_web_view_get_window_features (webView); + int[] result = new int[1]; + OS.g_object_get (settings, WebKitGTK.locationbar_visible, result, 0); + newEvent.addressBar = result[0] != 0; + result[0] = 0; + OS.g_object_get (settings, WebKitGTK.menubar_visible, result, 0); + newEvent.menuBar = result[0] != 0; + result[0] = 0; + OS.g_object_get (settings, WebKitGTK.statusbar_visible, result, 0); + newEvent.statusBar = result[0] != 0; + result[0] = 0; + OS.g_object_get (settings, WebKitGTK.toolbar_visible, result, 0); + newEvent.toolBar = result[0] != 0; + result[0] = 0; + OS.g_object_get (settings, WebKitGTK.x, result, 0); + int x = result[0]; + result[0] = 0; + OS.g_object_get (settings, WebKitGTK.y, result, 0); + int y = result[0]; + result[0] = 0; + OS.g_object_get (settings, WebKitGTK.width, result, 0); + int width = result[0]; + result[0] = 0; + OS.g_object_get (settings, WebKitGTK.height, result, 0); + int height = result[0]; + result[0] = 0; + if (x != -1 && y != -1) { + newEvent.location = new Point (x,y); + } + if (width != -1 && height != -1) { + newEvent.size = new Point (width,height); + } + for (int i = 0; i < visibilityWindowListeners.length; i++) { + visibilityWindowListeners[i].show (newEvent); } return 0; } |