From f93308510f799ad4e93dda4c984a35ffc2218ee7 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Wed, 14 Sep 2005 11:24:33 +0000
Subject: [PATCH] Font change instead of font size

---
 src/jalview/jbgui/GTreePanel.java |   12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/src/jalview/jbgui/GTreePanel.java b/src/jalview/jbgui/GTreePanel.java
index 24e80b6..4301a75 100755
--- a/src/jalview/jbgui/GTreePanel.java
+++ b/src/jalview/jbgui/GTreePanel.java
@@ -32,7 +32,7 @@ public class GTreePanel
   JMenuItem saveAsNewick = new JMenuItem();
   JMenuItem printMenu = new JMenuItem();
   JMenu jMenu2 = new JMenu();
-  public JMenuItem fontSize = new JMenuItem();
+  public JMenuItem font = new JMenuItem();
   public JCheckBoxMenuItem bootstrapMenu = new JCheckBoxMenuItem();
   public JCheckBoxMenuItem distanceMenu = new JCheckBoxMenuItem();
   public JCheckBoxMenuItem fitToWindow = new JCheckBoxMenuItem();
@@ -80,12 +80,12 @@ public class GTreePanel
       }
     });
     jMenu2.setText("View");
-    fontSize.setText("Font Size - 12");
-    fontSize.addActionListener(new java.awt.event.ActionListener()
+    font.setText("Font...");
+    font.addActionListener(new java.awt.event.ActionListener()
     {
       public void actionPerformed(ActionEvent e)
       {
-        fontSize_actionPerformed(e);
+        font_actionPerformed(e);
       }
     });
     bootstrapMenu.setText("Show Bootstrap Values");
@@ -155,7 +155,7 @@ public class GTreePanel
     jMenu1.add(textbox);
     jMenu1.add(printMenu);
     jMenu2.add(fitToWindow);
-    jMenu2.add(fontSize);
+    jMenu2.add(font);
     jMenu2.add(distanceMenu);
     jMenu2.add(bootstrapMenu);
     jMenu2.add(placeholdersMenu);
@@ -168,7 +168,7 @@ public class GTreePanel
   {
   }
 
-  public void fontSize_actionPerformed(ActionEvent e)
+  public void font_actionPerformed(ActionEvent e)
   {
   }
 
-- 
1.7.10.2