Formatted source
[jalview.git] / src / jalview / gui / FontChooser.java
index d781d72..b911d7d 100755 (executable)
@@ -1,34 +1,32 @@
 /*\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
-\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 java.awt.*;\r
 import java.awt.event.*;\r
 import javax.swing.*;\r
-import javax.swing.event.*;\r
-import jalview.bin.Cache;\r
 \r
+import jalview.bin.*;\r
+import jalview.jbgui.*;\r
 \r
-public class FontChooser extends GFontChooser\r
+public class FontChooser\r
+    extends GFontChooser\r
 {\r
   AlignmentPanel ap;\r
   Font oldFont;\r
@@ -39,37 +37,50 @@ public class FontChooser extends GFontChooser
   {\r
     frame = new JInternalFrame();\r
     frame.setContentPane(this);\r
-    Desktop.addInternalFrame(frame, "Change Font", 480,100, false);\r
+    Desktop.addInternalFrame(frame, "Change Font", 480, 100, false);\r
     frame.setLayer(JLayeredPane.PALETTE_LAYER);\r
 \r
     this.ap = ap;\r
-    String fonts[] = java.awt.GraphicsEnvironment.getLocalGraphicsEnvironment().getAvailableFontFamilyNames();\r
-    for(int i=0; i<fonts.length; i++)\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
-      fontSize.addItem(i+"");\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
+    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
+    oldFont = ap.av.getFont();\r
+    fontName.setSelectedItem(oldFont.getName());\r
+    fontSize.setSelectedItem(oldFont.getSize() + "");\r
+    fontStyle.setSelectedIndex(oldFont.getStyle());\r
 \r
-   init = false;\r
+    init = false;\r
   }\r
 \r
   protected void ok_actionPerformed(ActionEvent e)\r
   {\r
-    try{\r
+    try\r
+    {\r
       frame.setClosed(true);\r
-    }catch(Exception ex){}\r
-\r
-   if(ap.getOverviewPanel()!=null)\r
-     ap.getOverviewPanel().updateOverviewImage();\r
+    }\r
+    catch (Exception ex)\r
+    {\r
+    }\r
+\r
+    if (ap.getOverviewPanel() != null)\r
+    {\r
+      ap.getOverviewPanel().updateOverviewImage();\r
+    }\r
   }\r
 \r
   protected void cancel_actionPerformed(ActionEvent e)\r
@@ -77,48 +88,62 @@ public class FontChooser extends GFontChooser
     ap.av.setFont(oldFont);\r
     ap.repaint();\r
     fontName.setSelectedItem(oldFont.getName());\r
-    fontSize.setSelectedItem(oldFont.getSize()+"");\r
+    fontSize.setSelectedItem(oldFont.getSize() + "");\r
     fontStyle.setSelectedIndex(oldFont.getStyle());\r
-    try{\r
+\r
+    try\r
+    {\r
       frame.setClosed(true);\r
-    }catch(Exception ex){}\r
+    }\r
+    catch (Exception ex)\r
+    {\r
+    }\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
+                            Integer.parseInt(fontSize.getSelectedItem().\r
+                                             toString()));\r
     ap.av.setFont(newFont);\r
     ap.fontChanged();\r
   }\r
 \r
   protected void fontName_actionPerformed(ActionEvent e)\r
   {\r
-    if(init) return;\r
+    if (init)\r
+    {\r
+      return;\r
+    }\r
+\r
     changeFont();\r
   }\r
 \r
   protected void fontSize_actionPerformed(ActionEvent e)\r
   {\r
-    if(init) return;\r
+    if (init)\r
+    {\r
+      return;\r
+    }\r
+\r
     changeFont();\r
   }\r
 \r
   protected void fontStyle_actionPerformed(ActionEvent e)\r
   {\r
-    if(init) return;\r
+    if (init)\r
+    {\r
+      return;\r
+    }\r
+\r
     changeFont();\r
   }\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_STYLE", fontStyle.getSelectedIndex() + "");\r
     Cache.setProperty("FONT_SIZE", fontSize.getSelectedItem().toString());\r
   }\r
-\r
-\r
-\r
 }\r