/[classpath]/classpath/gnu/java/awt/peer/gtk/GtkMenuBarPeer.java
ViewVC logotype

Diff of /classpath/gnu/java/awt/peer/gtk/GtkMenuBarPeer.java

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.6 by mkoch, Wed Sep 22 11:38:58 2004 UTC revision 1.7 by mkoch, Wed Sep 22 12:13:42 2004 UTC
# Line 66  public class GtkMenuBarPeer extends GtkM Line 66  public class GtkMenuBarPeer extends GtkM
66        mc.setFont (new Font ("Dialog", Font.PLAIN, 12));        mc.setFont (new Font ("Dialog", Font.PLAIN, 12));
67    }    }
68    
69      // FIXME: remove this method or replace it with one that does
70      // something useful.
71    /* In Gnome, help menus are no longer right flushed. */    /* In Gnome, help menus are no longer right flushed. */
72      native void nativeSetHelpMenu(MenuPeer menuPeer);
73    
74    public void addHelpMenu (Menu menu)    public void addHelpMenu (Menu menu)
75    {    {
76      addMenu (menu);      // nativeSetHelpMenu((MenuPeer) menu.getPeer());
77    }    }
78    
79    public void addMenu (Menu menu)    public void addMenu (Menu menu)

Legend:
Removed from v.1.6  
changed lines
  Added in v.1.7

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26