diff options
Diffstat (limited to 'bundles/org.eclipse.swt/Eclipse SWT WebKit/gtk/org/eclipse/swt/internal/webkit/WebKitGTK.java')
-rw-r--r-- | bundles/org.eclipse.swt/Eclipse SWT WebKit/gtk/org/eclipse/swt/internal/webkit/WebKitGTK.java | 22 |
1 files changed, 22 insertions, 0 deletions
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 029041b089..ceac57968b 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 @@ -831,6 +831,17 @@ public static final void webkit_download_start (long /*int*/ download) { } /** @method flags=dynamic */ +public static final native void _webkit_favicon_database_set_path (long /*int*/ database, long /*int*/ path); +public static final void webkit_favicon_database_set_path (long /*int*/ database, long /*int*/ path) { + lock.lock(); + try { + _webkit_favicon_database_set_path (database, path); + } finally { + lock.unlock(); + } +} + +/** @method flags=dynamic */ public static final native long /*int*/ _webkit_get_default_session (); public static final long /*int*/ webkit_get_default_session () { lock.lock(); @@ -842,6 +853,17 @@ public static final long /*int*/ webkit_get_default_session () { } /** @method flags=dynamic */ +public static final native long /*int*/ _webkit_get_favicon_database (); +public static final long /*int*/ webkit_get_favicon_database () { + lock.lock(); + try { + return _webkit_get_favicon_database (); + } finally { + lock.unlock(); + } +} + +/** @method flags=dynamic */ public static final native int _webkit_major_version (); public static final int webkit_major_version () { lock.lock(); |