57 |
native void gtkWidgetModifyFont (String name, int style, int size); |
native void gtkWidgetModifyFont (String name, int style, int size); |
58 |
native void gtkSetLabel (String label); |
native void gtkSetLabel (String label); |
59 |
native void gtkWidgetSetForeground (int red, int green, int blue); |
native void gtkWidgetSetForeground (int red, int green, int blue); |
60 |
|
native void gtkWidgetSetBackground (int red, int green, int blue); |
61 |
native void gtkActivate (); |
native void gtkActivate (); |
62 |
native void gtkWidgetRequestFocus (); |
native void gtkWidgetRequestFocus (); |
63 |
|
|