Back to index

wims  3.65+svn20090927
MyMenu.java
Go to the documentation of this file.
00001 package rene.gui;
00002 
00003 import java.awt.Menu;
00004 
00005 public class MyMenu extends Menu
00006 {      public MyMenu (String s)
00007        {      super(s);
00008               if (Global.NormalFont!=null) setFont(Global.NormalFont);
00009        }
00010 }