+ addMouseWheelListener(new MouseWheelListener()\r
+ {\r
+ public void mouseWheelMoved(MouseWheelEvent e)\r
+ {\r
+\r
+ if (mouseWheelPressed)\r
+ {\r
+ Font font = av.getFont();\r
+ int fontSize = font.getSize();\r
+ if (e.getWheelRotation() > 0 && fontSize < 30)\r
+ fontSize++;\r
+ else if (fontSize > 1)\r
+ fontSize--;\r
+\r
+ av.setFont(new Font(font.getName(), font.getStyle(), fontSize));\r
+ ap.fontChanged();\r
+ ap.repaint();\r
+\r
+ }\r
+ else\r
+ {\r
+ if (e.getWheelRotation() > 0)\r
+ ap.scrollUp(false);\r
+ else\r
+ ap.scrollUp(true);\r
+ }\r
+\r
+ }\r
+ });\r
+\r
+\r