Mapping to PDB added

[jalview.git] / src / jalview / appletgui / FontChooser.java

diff --git a/src/jalview/appletgui/FontChooser.java b/src/jalview/appletgui/FontChooser.java
index db0c16f..17fe98a 100755 (executable)
--- a/src/jalview/appletgui/FontChooser.java
+++ b/src/jalview/appletgui/FontChooser.java
@@ -1,57 +1,108 @@
+/*\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
 package jalview.appletgui;\r
 \r
-import jalview.jbappletgui.GFontChooser;\r
-import jalview.appletgui.*;\r
 import java.awt.*;\r
-import java.awt.event.*;\r
 \r
+import jalview.jbappletgui.*;\r
 \r
-public class FontChooser extends GFontChooser\r
+public class FontChooser\r
+    extends GFontChooser\r
 {\r
   AlignmentPanel ap;\r
+  TreePanel tp;\r
   Font oldFont;\r
   boolean init = true;\r
   Frame frame;\r
 \r
-  public FontChooser(AlignmentPanel ap, Frame frame)\r
+  public FontChooser(TreePanel tp)\r
   {\r
-    super();\r
-\r
-    this.frame = frame;\r
+    this.tp = tp;\r
+    oldFont = tp.getTreeFont();\r
+    init();\r
+  }\r
 \r
+  public FontChooser(AlignmentPanel ap)\r
+  {\r
     this.ap = ap;\r
+    oldFont = ap.av.getFont();\r
+    init();\r
+  }\r
+\r
+  void init()\r
+    {\r
     String fonts[] = Toolkit.getDefaultToolkit().getFontList();\r
-    for(int i=0; i<fonts.length; i++)\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.select(oldFont.getName());\r
-   fontSize.select(oldFont.getSize()+"");\r
-   fontStyle.select(oldFont.getStyle());\r
+    fontName.select(oldFont.getName());\r
+    fontSize.select(oldFont.getSize() + "");\r
+    fontStyle.select(oldFont.getStyle());\r
+\r
+    Frame frame = new Frame();\r
+    this.frame = frame;\r
+    frame.add(this);\r
+    jalview.bin.JalviewLite.addFrame(frame, "Change Font", 440, 100);\r
 \r
-   init = false;\r
+    init = false;\r
   }\r
 \r
   protected void ok_actionPerformed()\r
   {\r
-      frame.setVisible(false);\r
-   if(ap.getOverviewPanel()!=null)\r
-     ap.getOverviewPanel().updateOverviewImage();\r
+    frame.setVisible(false);\r
+    if (ap != null)\r
+    {\r
+      if (ap.getOverviewPanel() != null)\r
+      {\r
+        ap.getOverviewPanel().updateOverviewImage();\r
+      }\r
+    }\r
+\r
   }\r
 \r
   protected void cancel_actionPerformed()\r
   {\r
-    ap.av.setFont(oldFont);\r
-    ap.repaint();\r
+    if(ap!=null)\r
+    {\r
+      ap.av.setFont(oldFont);\r
+      ap.repaint();\r
+    }\r
+    else if(tp!=null)\r
+    {\r
+      tp.setTreeFont(oldFont);\r
+      tp.treeCanvas.repaint();\r
+    }\r
+\r
     fontName.select(oldFont.getName());\r
-    fontSize.select(oldFont.getSize()+"");\r
+    fontSize.select(oldFont.getSize() + "");\r
     fontStyle.select(oldFont.getStyle());\r
 \r
     frame.setVisible(false);\r
@@ -61,28 +112,44 @@ public class FontChooser extends GFontChooser
   {\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.fontChanged();\r
+                            Integer.parseInt(fontSize.getSelectedItem().\r
+                                             toString())\r
+        );\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
 \r
-\r
   protected void fontName_actionPerformed()\r
   {\r
-    if(init) return;\r
+    if (init)\r
+    {\r
+      return;\r
+    }\r
     changeFont();\r
   }\r
 \r
   protected void fontSize_actionPerformed()\r
   {\r
-    if(init) return;\r
+    if (init)\r
+    {\r
+      return;\r
+    }\r
     changeFont();\r
   }\r
 \r
   protected void fontStyle_actionPerformed()\r
   {\r
-    if(init) return;\r
+    if (init)\r
+    {\r
+      return;\r
+    }\r
     changeFont();\r
   }\r
 \r