Change font
authoramwaterhouse <Andrew Waterhouse>
Wed, 28 Sep 2005 14:55:06 +0000 (14:55 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 28 Sep 2005 14:55:06 +0000 (14:55 +0000)
src/jalview/jbappletgui/GTreePanel.java

index 1810719..bfe6b2b 100755 (executable)
@@ -49,7 +49,7 @@ public class GTreePanel extends Frame {
         this.setBackground(Color.white);\r
         this.setFont(new java.awt.Font("Verdana", 0, 12));\r
         jMenu2.setLabel("View");\r
-        fontSize.setLabel("Font Size - 12");\r
+        fontSize.setLabel("Font...");\r
         fontSize.addActionListener(new java.awt.event.ActionListener() {\r
                 public void actionPerformed(ActionEvent e) {\r
                     fontSize_actionPerformed(e);\r