38 |
|
|
39 |
package gnu.java.awt.peer.gtk; |
package gnu.java.awt.peer.gtk; |
40 |
|
|
41 |
|
import java.awt.Font; |
42 |
|
import java.awt.MenuComponent; |
43 |
import java.awt.peer.MenuComponentPeer; |
import java.awt.peer.MenuComponentPeer; |
44 |
|
|
45 |
public class GtkMenuComponentPeer extends GtkGenericPeer |
public class GtkMenuComponentPeer extends GtkGenericPeer |
48 |
public GtkMenuComponentPeer (Object awtWidget) |
public GtkMenuComponentPeer (Object awtWidget) |
49 |
{ |
{ |
50 |
super (awtWidget); |
super (awtWidget); |
51 |
|
MenuComponent mc = ((MenuComponent) awtWidget); |
52 |
|
Font f = mc.getFont (); |
53 |
|
if (f == null) |
54 |
|
{ |
55 |
|
mc.setFont (new Font ("Dialog", Font.PLAIN, 12)); |
56 |
|
gtkWidgetModifyFont("Dialog", Font.PLAIN, 12); |
57 |
|
} |
58 |
|
else |
59 |
|
gtkWidgetModifyFont(f.getName(), f.getStyle(), f.getSize()); |
60 |
} |
} |
61 |
|
|
62 |
public native void dispose(); |
public native void dispose(); |
63 |
} |
} |