+ Font newFont = new Font(fontName.getSelectedItem().toString(),\r
+ fontStyle.getSelectedIndex(),\r
+ Integer.parseInt(fontSize.getSelectedItem().toString()));\r
+ if (ap != null)\r
+ {\r
+ ap.av.setFont(newFont);\r
+ ap.fontChanged();\r
+ }\r
+ else if(tp != null)\r
+ {\r
+ tp.setTreeFont(newFont);\r
+ }\r
+\r
+ FontMetrics fm = getGraphics().getFontMetrics(newFont);\r
+\r
+ monospaced.setSelected( fm.getStringBounds("M",getGraphics()).getWidth()\r
+ ==fm.getStringBounds("|",getGraphics()).getWidth());\r
+\r