From 9f7ccea14bb1fb11d1071f5e85bfb64c67f560bd Mon Sep 17 00:00:00 2001 From: Grant Gayed Date: Thu, 12 Apr 2012 11:36:41 -0400 Subject: Bug 350098 - [hovering] "Enrich on click" is not working --- .../gtk/org/eclipse/swt/internal/webkit/WebKitGTK.java | 11 +++++++++++ 1 file changed, 11 insertions(+) (limited to 'bundles/org.eclipse.swt/Eclipse SWT WebKit/gtk/org/eclipse/swt/internal/webkit/WebKitGTK.java') diff --git a/bundles/org.eclipse.swt/Eclipse SWT WebKit/gtk/org/eclipse/swt/internal/webkit/WebKitGTK.java b/bundles/org.eclipse.swt/Eclipse SWT WebKit/gtk/org/eclipse/swt/internal/webkit/WebKitGTK.java index f6e83cb6f1..52ba6975f6 100644 --- a/bundles/org.eclipse.swt/Eclipse SWT WebKit/gtk/org/eclipse/swt/internal/webkit/WebKitGTK.java +++ b/bundles/org.eclipse.swt/Eclipse SWT WebKit/gtk/org/eclipse/swt/internal/webkit/WebKitGTK.java @@ -1127,6 +1127,17 @@ public static final int /*long*/ webkit_web_view_get_title (int /*long*/ web_vie } } +/** @method flags=dynamic */ +public static final native int /*long*/ _webkit_web_view_get_type (); +public static final int /*long*/ webkit_web_view_get_type () { + lock.lock(); + try { + return _webkit_web_view_get_type (); + } finally { + lock.unlock(); + } +} + /** @method flags=dynamic */ public static final native int /*long*/ _webkit_web_view_get_uri (int /*long*/ web_view); public static final int /*long*/ webkit_web_view_get_uri (int /*long*/ web_view) { -- cgit