45 |
public class GtkMenuComponentPeer extends GtkGenericPeer |
public class GtkMenuComponentPeer extends GtkGenericPeer |
46 |
implements MenuComponentPeer |
implements MenuComponentPeer |
47 |
{ |
{ |
48 |
|
void create () |
49 |
|
{ |
50 |
|
throw new RuntimeException (); |
51 |
|
} |
52 |
|
|
53 |
|
void setFont () |
54 |
|
{ |
55 |
|
} |
56 |
|
|
57 |
public GtkMenuComponentPeer (Object awtWidget) |
public GtkMenuComponentPeer (Object awtWidget) |
58 |
{ |
{ |
59 |
super (awtWidget); |
super (awtWidget); |
60 |
MenuComponent mc = ((MenuComponent) awtWidget); |
create (); |
61 |
Font f = mc.getFont (); |
setFont (); |
|
if (f == null) |
|
|
{ |
|
|
mc.setFont (new Font ("Dialog", Font.PLAIN, 12)); |
|
|
gtkWidgetModifyFont("Dialog", Font.PLAIN, 12); |
|
|
} |
|
|
else |
|
|
gtkWidgetModifyFont(f.getName(), f.getStyle(), f.getSize()); |
|
62 |
} |
} |
63 |
|
|
64 |
public native void dispose(); |
public native void dispose(); |