*/\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