{\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