38 |
|
|
39 |
package gnu.java.awt.peer.gtk; |
package gnu.java.awt.peer.gtk; |
40 |
|
|
41 |
|
import java.awt.Font; |
42 |
import java.awt.Menu; |
import java.awt.Menu; |
43 |
import java.awt.MenuBar; |
import java.awt.MenuBar; |
44 |
|
import java.awt.MenuComponent; |
45 |
import java.awt.peer.MenuBarPeer; |
import java.awt.peer.MenuBarPeer; |
46 |
import java.awt.peer.MenuPeer; |
import java.awt.peer.MenuPeer; |
47 |
|
|
55 |
public GtkMenuBarPeer (MenuBar target) |
public GtkMenuBarPeer (MenuBar target) |
56 |
{ |
{ |
57 |
super (target); |
super (target); |
58 |
create (); |
} |
59 |
|
|
60 |
|
void setFont () |
61 |
|
{ |
62 |
|
MenuComponent mc = (MenuComponent) awtWidget; |
63 |
|
Font f = mc.getFont (); |
64 |
|
|
65 |
|
if (f == null) |
66 |
|
mc.setFont (new Font ("Dialog", Font.PLAIN, 12)); |
67 |
} |
} |
68 |
|
|
69 |
/* In Gnome, help menus are no longer right flushed. */ |
/* In Gnome, help menus are no longer right flushed. */ |