validCharWidth checks
[jalview.git] / src / jalview / gui / SeqPanel.java
index d081f16..9d2e84c 100755 (executable)
@@ -597,48 +597,43 @@ public class SeqPanel extends JPanel implements MouseListener,
      */\r
     public void mouseDragged(MouseEvent evt)\r
     {\r
-      if(mouseWheelPressed)\r
+      if (mouseWheelPressed)\r
       {\r
         int oldWidth = av.charWidth;\r
 \r
         //Which is bigger, left-right or up-down?\r
-        if( Math.abs(evt.getY()-lastMousePress.getY())\r
-          > Math.abs(evt.getX()-lastMousePress.getX()))\r
-     {\r
-       int fontSize = av.font.getSize();\r
-\r
-       if (evt.getY() < lastMousePress.getY() && av.charHeight > 1)\r
-       {\r
-         fontSize--;\r
-       }\r
-       else if (evt.getY() > lastMousePress.getY())\r
-       {\r
-         fontSize++;\r
-       }\r
+        if (Math.abs(evt.getY() - lastMousePress.getY())\r
+            > Math.abs(evt.getX() - lastMousePress.getX()))\r
+        {\r
+          int fontSize = av.font.getSize();\r
 \r
-       av.setFont(new Font(av.font.getName(), av.font.getStyle(), fontSize));\r
-       av.charWidth = oldWidth;\r
-       ap.fontChanged();\r
+          if (evt.getY() < lastMousePress.getY() && av.charHeight > 1)\r
+          {\r
+            fontSize--;\r
+          }\r
+          else if (evt.getY() > lastMousePress.getY())\r
+          {\r
+            fontSize++;\r
+          }\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
-       if (evt.getX() < lastMousePress.getX() && av.charWidth > 1)\r
-       {\r
-         av.charWidth--;\r
-       }\r
-       else if (evt.getX() > lastMousePress.getX())\r
-       {\r
-         av.charWidth++;\r
-       }\r
-\r
-       ap.repaint();\r
-     }\r
+        }\r
+        else\r
+        {\r
+          if (evt.getX() < lastMousePress.getX() && av.charWidth > 1)\r
+          {\r
+            av.charWidth--;\r
+          }\r
+          else if (evt.getX() > lastMousePress.getX())\r
+          {\r
+            av.charWidth++;\r
+          }\r
 \r
-      FontMetrics fm = getFontMetrics(av.getFont());\r
-      av.showText = (fm.charWidth('M') < av.charWidth);\r
-               // && fm.getHeight()<av.charHeight\r
+          ap.repaint();\r
+        }\r
 \r
         lastMousePress = evt.getPoint();\r
 \r