summaryrefslogtreecommitdiffstats
path: root/bundles/org.eclipse.swt/Eclipse SWT WebKit/gtk/org/eclipse
diff options
context:
space:
mode:
authorSilenio Quarti <silenio>2011-04-01 19:52:31 +0000
committerSilenio Quarti <silenio>2011-04-01 19:52:31 +0000
commit52c110b93169ca50cc17336de89321eb76b5f3d3 (patch)
tree624a8a7a9fdfe8cf9baf1cf53e014d1bb048c0c3 /bundles/org.eclipse.swt/Eclipse SWT WebKit/gtk/org/eclipse
parentea1614638a2d49cacb0be9856960133527b7df52 (diff)
downloadeclipse.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.java82
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;
}