Check that fontsize > 0
authoramwaterhouse <Andrew Waterhouse>
Tue, 2 May 2006 12:22:20 +0000 (12:22 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 2 May 2006 12:22:20 +0000 (12:22 +0000)
src/jalview/gui/SeqPanel.java

index 48651f9..126d755 100755 (executable)
@@ -607,7 +607,7 @@ public class SeqPanel extends JPanel implements MouseListener,
         {\r
           int fontSize = av.font.getSize();\r
 \r
-          if (evt.getY() < lastMousePress.getY() && av.charHeight > 1)\r
+          if (evt.getY() < lastMousePress.getY())\r
           {\r
             fontSize--;\r
           }\r
@@ -616,10 +616,12 @@ public class SeqPanel extends JPanel implements MouseListener,
             fontSize++;\r
           }\r
 \r
+          if(fontSize<1)\r
+            fontSize = 1;\r
+\r
           av.setFont(new Font(av.font.getName(), av.font.getStyle(), fontSize));\r
           av.charWidth = oldWidth;\r
           ap.fontChanged();\r
-\r
         }\r
         else\r
         {\r