+ void changeFont()\r
+ {\r
+ Font newFont = new Font(fontName.getSelectedItem().toString(),\r
+ fontStyle.getSelectedIndex(),\r
+ Integer.parseInt(fontSize.getSelectedItem().toString())\r
+ );\r
+ ap.av.setFont(newFont);\r
+ ap.RefreshPanels();\r
+ }\r
+\r
+ protected void fontName_actionPerformed(ActionEvent e)\r
+ {\r
+ if(init) return;\r
+ changeFont();\r
+ }\r
+\r
+ protected void fontSize_actionPerformed(ActionEvent e)\r
+ {\r
+ if(init) return;\r
+ changeFont();\r
+ }\r
+\r
+ protected void fontStyle_actionPerformed(ActionEvent e)\r
+ {\r
+ if(init) return;\r
+ changeFont();\r
+ }\r
+\r