diff options
Diffstat (limited to 'bundles/org.eclipse.swt/Eclipse SWT PI/motif_gtk/org/eclipse/swt/internal/gtk/GTK.java')
-rw-r--r-- | bundles/org.eclipse.swt/Eclipse SWT PI/motif_gtk/org/eclipse/swt/internal/gtk/GTK.java | 120 |
1 files changed, 108 insertions, 12 deletions
diff --git a/bundles/org.eclipse.swt/Eclipse SWT PI/motif_gtk/org/eclipse/swt/internal/gtk/GTK.java b/bundles/org.eclipse.swt/Eclipse SWT PI/motif_gtk/org/eclipse/swt/internal/gtk/GTK.java index 7300d9aa47..1cd61458f8 100644 --- a/bundles/org.eclipse.swt/Eclipse SWT PI/motif_gtk/org/eclipse/swt/internal/gtk/GTK.java +++ b/bundles/org.eclipse.swt/Eclipse SWT PI/motif_gtk/org/eclipse/swt/internal/gtk/GTK.java @@ -5,16 +5,112 @@ import org.eclipse.swt.internal.*; public class GTK extends Platform { /** Natives */ -public static final synchronized native int GTK_WIDGET_HEIGHT(int widget); -public static final synchronized native int GTK_WIDGET_WIDTH(int widget); -public static final synchronized native int g_signal_connect(int instance, byte[] detailed_signal, int proc, int data); -public static final synchronized native int gtk_events_pending(); -public static final synchronized native boolean gtk_init_check(int[] argc, int[] argv); -public static final synchronized native void gtk_main(); -public static final synchronized native int gtk_main_iteration(); -public static final synchronized native int gtk_plug_new(int socket_id); -public static final synchronized native void gtk_widget_destroy(int widget); -public static final synchronized native void gtk_widget_show(int widget); -public static final synchronized native void gtk_widget_show_now(int widget); -public static final synchronized native int gtk_window_new(int type); +public static final native int _GTK_WIDGET_HEIGHT(int widget); +public static final int GTK_WIDGET_HEIGHT(int widget) { + lock.lock(); + try { + return _GTK_WIDGET_HEIGHT(widget); + } finally { + lock.unlock(); + } +} +public static final native int _GTK_WIDGET_WIDTH(int widget); +public static final int GTK_WIDGET_WIDTH(int widget) { + lock.lock(); + try { + return _GTK_WIDGET_WIDTH(widget); + } finally { + lock.unlock(); + } +} +public static final native int _g_signal_connect(int instance, byte[] detailed_signal, int proc, int data); +public static final int g_signal_connect(int instance, byte[] detailed_signal, int proc, int data) { + lock.lock(); + try { + return _g_signal_connect(instance, detailed_signal, proc, data); + } finally { + lock.unlock(); + } +} +public static final native int _gtk_events_pending(); +public static final int gtk_events_pending() { + lock.lock(); + try { + return _gtk_events_pending(); + } finally { + lock.unlock(); + } +} +public static final native boolean _gtk_init_check(int[] argc, int[] argv); +public static final boolean gtk_init_check(int[] argc, int[] argv) { + lock.lock(); + try { + return _gtk_init_check(argc, argv); + } finally { + lock.unlock(); + } +} +public static final native void _gtk_main(); +public static final void gtk_main() { + lock.lock(); + try { + _gtk_main(); + } finally { + lock.unlock(); + } +} +public static final native int _gtk_main_iteration(); +public static final int gtk_main_iteration() { + lock.lock(); + try { + return _gtk_main_iteration(); + } finally { + lock.unlock(); + } +} +public static final native int _gtk_plug_new(int socket_id); +public static final int gtk_plug_new(int socket_id) { + lock.lock(); + try { + return _gtk_plug_new(socket_id); + } finally { + lock.unlock(); + } +} +public static final native void _gtk_widget_destroy(int widget); +public static final void gtk_widget_destroy(int widget) { + lock.lock(); + try { + _gtk_widget_destroy(widget); + } finally { + lock.unlock(); + } +} +public static final native void _gtk_widget_show(int widget); +public static final void gtk_widget_show(int widget) { + lock.lock(); + try { + _gtk_widget_show(widget); + } finally { + lock.unlock(); + } +} +public static final native void _gtk_widget_show_now(int widget); +public static final void gtk_widget_show_now(int widget) { + lock.lock(); + try { + _gtk_widget_show_now(widget); + } finally { + lock.unlock(); + } +} +public static final native int _gtk_window_new(int type); +public static final int gtk_window_new(int type) { + lock.lock(); + try { + return _gtk_window_new(type); + } finally { + lock.unlock(); + } +} } |