1 11 package org.eclipse.swt.internal.gtk; 12 13 import org.eclipse.swt.internal.*; 14 15 public class GTK extends Platform { 16 17 18 public static final native int _GTK_WIDGET_HEIGHT(int widget); 19 public static final int GTK_WIDGET_HEIGHT(int widget) { 20 lock.lock(); 21 try { 22 return _GTK_WIDGET_HEIGHT(widget); 23 } finally { 24 lock.unlock(); 25 } 26 } 27 public static final native int _GTK_WIDGET_WIDTH(int widget); 28 public static final int GTK_WIDGET_WIDTH(int widget) { 29 lock.lock(); 30 try { 31 return _GTK_WIDGET_WIDTH(widget); 32 } finally { 33 lock.unlock(); 34 } 35 } 36 public static final native int _g_signal_connect(int instance, byte[] detailed_signal, int proc, int data); 37 public static final int g_signal_connect(int instance, byte[] detailed_signal, int proc, int data) { 38 lock.lock(); 39 try { 40 return _g_signal_connect(instance, detailed_signal, proc, data); 41 } finally { 42 lock.unlock(); 43 } 44 } 45 public static final native int _gtk_events_pending(); 46 public static final int gtk_events_pending() { 47 lock.lock(); 48 try { 49 return _gtk_events_pending(); 50 } finally { 51 lock.unlock(); 52 } 53 } 54 public static final native boolean _gtk_init_check(int[] argc, int[] argv); 55 public static final boolean gtk_init_check(int[] argc, int[] argv) { 56 lock.lock(); 57 try { 58 return _gtk_init_check(argc, argv); 59 } finally { 60 lock.unlock(); 61 } 62 } 63 public static final native void _gtk_main(); 64 public static final void gtk_main() { 65 lock.lock(); 66 try { 67 _gtk_main(); 68 } finally { 69 lock.unlock(); 70 } 71 } 72 public static final native int _gtk_main_iteration(); 73 public static final int gtk_main_iteration() { 74 lock.lock(); 75 try { 76 return _gtk_main_iteration(); 77 } finally { 78 lock.unlock(); 79 } 80 } 81 public static final native int _gtk_plug_new(int socket_id); 82 public static final int gtk_plug_new(int socket_id) { 83 lock.lock(); 84 try { 85 return _gtk_plug_new(socket_id); 86 } finally { 87 lock.unlock(); 88 } 89 } 90 public static final native void _gtk_widget_destroy(int widget); 91 public static final void gtk_widget_destroy(int widget) { 92 lock.lock(); 93 try { 94 _gtk_widget_destroy(widget); 95 } finally { 96 lock.unlock(); 97 } 98 } 99 public static final native void _gtk_widget_show(int widget); 100 public static final void gtk_widget_show(int widget) { 101 lock.lock(); 102 try { 103 _gtk_widget_show(widget); 104 } finally { 105 lock.unlock(); 106 } 107 } 108 public static final native void _gtk_widget_show_now(int widget); 109 public static final void gtk_widget_show_now(int widget) { 110 lock.lock(); 111 try { 112 _gtk_widget_show_now(widget); 113 } finally { 114 lock.unlock(); 115 } 116 } 117 public static final native int _gtk_window_new(int type); 118 public static final int gtk_window_new(int type) { 119 lock.lock(); 120 try { 121 return _gtk_window_new(type); 122 } finally { 123 lock.unlock(); 124 } 125 } 126 } 127 | Popular Tags |