+ fontStyle.addItem("plain");\r
+ fontStyle.addItem("bold");\r
+ fontStyle.addItem("italic");\r
+\r
+ fontName.setSelectedItem(oldFont.getName());\r
+ fontSize.setSelectedItem(oldFont.getSize() + "");\r
+ fontStyle.setSelectedIndex(oldFont.getStyle());\r
+\r
+ FontMetrics fm = getGraphics().getFontMetrics(oldFont);\r
+ monospaced.setSelected(fm.getStringBounds("M", getGraphics()).getWidth()\r
+ == fm.getStringBounds("|", getGraphics()).getWidth());\r
+\r
+ init = false;\r
+ }\r
+\r
+ public void smoothFont_actionPerformed(ActionEvent e)\r
+ {\r
+ ap.av.antiAlias = smoothFont.isSelected();\r
+ ap.annotationPanel.image = null;\r
+ ap.paintAlignment(true);\r
+ }\r
+\r
+ /**\r
+ * DOCUMENT ME!\r
+ *\r
+ * @param e DOCUMENT ME!\r
+ */\r
+ protected void ok_actionPerformed(ActionEvent e)\r
+ {\r
+ try\r