{\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
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
ap.repaint();\r
}\r
\r
+ FontMetrics fm = getFontMetrics(av.getFont());\r
+ av.validCharWidth = fm.charWidth('M') <= av.charWidth;\r
+\r
lastMousePress = evt.getPoint();\r
\r
return;\r