Formatting changes
[jalview.git] / src / jalview / gui / FontChooser.java
index e04c177..527bf5d 100755 (executable)
+/*\r
+ * Jalview - A Sequence Alignment Editor and Viewer\r
+ * Copyright (C) 2005 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle\r
+ *\r
+ * This program is free software; you can redistribute it and/or\r
+ * modify it under the terms of the GNU General Public License\r
+ * as published by the Free Software Foundation; either version 2\r
+ * of the License, or (at your option) any later version.\r
+ *\r
+ * This program is distributed in the hope that it will be useful,\r
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of\r
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the\r
+ * GNU General Public License for more details.\r
+ *\r
+ * You should have received a copy of the GNU General Public License\r
+ * along with this program; if not, write to the Free Software\r
+ * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA\r
+ */\r
 package jalview.gui;\r
 \r
-import jalview.jbgui.GFontChooser;\r
-import jalview.gui.*;\r
+import jalview.bin.*;\r
+\r
+import jalview.jbgui.*;\r
+\r
 import java.awt.*;\r
 import java.awt.event.*;\r
+\r
 import javax.swing.*;\r
-import javax.swing.event.*;\r
 \r
 \r
+/**\r
+ * DOCUMENT ME!\r
+ *\r
+ * @author $author$\r
+ * @version $Revision$\r
+ */\r
 public class FontChooser extends GFontChooser\r
 {\r
-  AlignmentPanel ap;\r
-  Font oldFont;\r
-  boolean init = true;\r
-  JInternalFrame frame;\r
-\r
-  public FontChooser(AlignmentPanel ap, JInternalFrame f)\r
-  {\r
-    this.ap = ap;\r
-    frame = f;\r
-    String fonts[] = java.awt.GraphicsEnvironment.getLocalGraphicsEnvironment().getAvailableFontFamilyNames();\r
-    for(int i=0; i<fonts.length; i++)\r
-      fontName.addItem(fonts[i]);\r
-\r
-    for(int i=1; i<31; i++)\r
-      fontSize.addItem(i+"");\r
-\r
-   fontStyle.addItem("plain");\r
-   fontStyle.addItem("bold");\r
-   fontStyle.addItem("italic");\r
-\r
-   oldFont = ap.av.getFont();\r
-   fontName.setSelectedItem(oldFont.getName());\r
-   fontSize.setSelectedItem(oldFont.getSize()+"");\r
-   fontStyle.setSelectedIndex(oldFont.getStyle());\r
-\r
-   init = false;\r
-  }\r
-\r
-  protected void ok_actionPerformed(ActionEvent e)\r
-  {\r
-    try{\r
-      frame.setClosed(true);\r
-    }catch(Exception ex){}\r
-\r
-   jalview.bin.Cache.setProperty("FONT_NAME", fontName.getSelectedItem().toString());\r
-   jalview.bin.Cache.setProperty("FONT_STYLE", fontStyle.getSelectedIndex()+"");\r
-   jalview.bin.Cache.setProperty("FONT_SIZE", fontSize.getSelectedItem().toString());\r
-  }\r
-\r
-  protected void cancel_actionPerformed(ActionEvent e)\r
-  {\r
-    ap.av.setFont(oldFont);\r
-    ap.repaint();\r
-    fontName.setSelectedItem(oldFont.getName());\r
-    fontSize.setSelectedItem(oldFont.getSize()+"");\r
-    fontStyle.setSelectedIndex(oldFont.getStyle());\r
-  }\r
-\r
-  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.annotationPanel.adjustPanelHeight();\r
-    ap.repaint();\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
-\r
+    AlignmentPanel ap;\r
+    Font oldFont;\r
+    boolean init = true;\r
+    JInternalFrame frame;\r
+\r
+    /**\r
+     * Creates a new FontChooser object.\r
+     *\r
+     * @param ap DOCUMENT ME!\r
+     */\r
+    public FontChooser(AlignmentPanel ap)\r
+    {\r
+        frame = new JInternalFrame();\r
+        frame.setContentPane(this);\r
+        Desktop.addInternalFrame(frame, "Change Font", 480, 100, false);\r
+        frame.setLayer(JLayeredPane.PALETTE_LAYER);\r
+\r
+        this.ap = ap;\r
+\r
+        String[] fonts = java.awt.GraphicsEnvironment.getLocalGraphicsEnvironment()\r
+                                                     .getAvailableFontFamilyNames();\r
+\r
+        for (int i = 0; i < fonts.length; i++)\r
+        {\r
+            fontName.addItem(fonts[i]);\r
+        }\r
+\r
+        for (int i = 1; i < 31; i++)\r
+        {\r
+            fontSize.addItem(i + "");\r
+        }\r
+\r
+        fontStyle.addItem("plain");\r
+        fontStyle.addItem("bold");\r
+        fontStyle.addItem("italic");\r
+\r
+        oldFont = ap.av.getFont();\r
+        fontName.setSelectedItem(oldFont.getName());\r
+        fontSize.setSelectedItem(oldFont.getSize() + "");\r
+        fontStyle.setSelectedIndex(oldFont.getStyle());\r
+\r
+        init = false;\r
+    }\r
+\r
+    /**\r
+     * DOCUMENT ME!\r
+     *\r
+     * @param e DOCUMENT ME!\r
+     */\r
+    protected void ok_actionPerformed(ActionEvent e)\r
+    {\r
+        try\r
+        {\r
+            frame.setClosed(true);\r
+        }\r
+        catch (Exception ex)\r
+        {\r
+        }\r
+\r
+        if (ap.getOverviewPanel() != null)\r
+        {\r
+            ap.getOverviewPanel().updateOverviewImage();\r
+        }\r
+    }\r
+\r
+    /**\r
+     * DOCUMENT ME!\r
+     *\r
+     * @param e DOCUMENT ME!\r
+     */\r
+    protected void cancel_actionPerformed(ActionEvent e)\r
+    {\r
+        ap.av.setFont(oldFont);\r
+        ap.repaint();\r
+        fontName.setSelectedItem(oldFont.getName());\r
+        fontSize.setSelectedItem(oldFont.getSize() + "");\r
+        fontStyle.setSelectedIndex(oldFont.getStyle());\r
+\r
+        try\r
+        {\r
+            frame.setClosed(true);\r
+        }\r
+        catch (Exception ex)\r
+        {\r
+        }\r
+    }\r
+\r
+    /**\r
+     * DOCUMENT ME!\r
+     */\r
+    void changeFont()\r
+    {\r
+        Font newFont = new Font(fontName.getSelectedItem().toString(),\r
+                fontStyle.getSelectedIndex(),\r
+                Integer.parseInt(fontSize.getSelectedItem().toString()));\r
+        ap.av.setFont(newFont);\r
+        ap.fontChanged();\r
+    }\r
+\r
+    /**\r
+     * DOCUMENT ME!\r
+     *\r
+     * @param e DOCUMENT ME!\r
+     */\r
+    protected void fontName_actionPerformed(ActionEvent e)\r
+    {\r
+        if (init)\r
+        {\r
+            return;\r
+        }\r
+\r
+        changeFont();\r
+    }\r
+\r
+    /**\r
+     * DOCUMENT ME!\r
+     *\r
+     * @param e DOCUMENT ME!\r
+     */\r
+    protected void fontSize_actionPerformed(ActionEvent e)\r
+    {\r
+        if (init)\r
+        {\r
+            return;\r
+        }\r
+\r
+        changeFont();\r
+    }\r
+\r
+    /**\r
+     * DOCUMENT ME!\r
+     *\r
+     * @param e DOCUMENT ME!\r
+     */\r
+    protected void fontStyle_actionPerformed(ActionEvent e)\r
+    {\r
+        if (init)\r
+        {\r
+            return;\r
+        }\r
+\r
+        changeFont();\r
+    }\r
+\r
+    /**\r
+     * DOCUMENT ME!\r
+     *\r
+     * @param e DOCUMENT ME!\r
+     */\r
+    public void defaultButton_actionPerformed(ActionEvent e)\r
+    {\r
+        Cache.setProperty("FONT_NAME", fontName.getSelectedItem().toString());\r
+        Cache.setProperty("FONT_STYLE", fontStyle.getSelectedIndex() + "");\r
+        Cache.setProperty("FONT_SIZE", fontSize.getSelectedItem().toString());\r
+    }\r
 }\r