From 2138c891af49b66c1f5b59de14439c6ea1ba5a24 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Wed, 28 Sep 2005 14:55:06 +0000
Subject: [PATCH] Change font

---
 src/jalview/jbappletgui/GTreePanel.java |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/jalview/jbappletgui/GTreePanel.java b/src/jalview/jbappletgui/GTreePanel.java
index 1810719..bfe6b2b 100755
--- a/src/jalview/jbappletgui/GTreePanel.java
+++ b/src/jalview/jbappletgui/GTreePanel.java
@@ -49,7 +49,7 @@ public class GTreePanel extends Frame {
         this.setBackground(Color.white);
         this.setFont(new java.awt.Font("Verdana", 0, 12));
         jMenu2.setLabel("View");
-        fontSize.setLabel("Font Size - 12");
+        fontSize.setLabel("Font...");
         fontSize.addActionListener(new java.awt.event.ActionListener() {
                 public void actionPerformed(ActionEvent e) {
                     fontSize_actionPerformed(e);
-- 
1.7.10.2