-/*\r
- * Jalview - A Sequence Alignment Editor and Viewer\r
- * Copyright (C) 2006 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.bin.*;\r
-\r
-import jalview.jbgui.*;\r
-\r
-import java.awt.*;\r
-import java.awt.event.*;\r
-\r
-import javax.swing.*;\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
- TreePanel tp;\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(TreePanel tp)\r
- {\r
- this.tp = tp;\r
- ap = tp.treeCanvas.ap;\r
- oldFont = tp.getTreeFont();\r
- defaultButton.setVisible(false);\r
- init();\r
- }\r
- /**\r
- * Creates a new FontChooser object.\r
- *\r
- * @param ap DOCUMENT ME!\r
- */\r
- public FontChooser(AlignmentPanel ap)\r
- {\r
- oldFont = ap.av.getFont();\r
- this.ap = ap;\r
- init();\r
- }\r
-\r
- void init()\r
- {\r
- frame = new JInternalFrame();\r
- frame.setContentPane(this);\r
-\r
- smoothFont.setSelected(ap.av.antiAlias);\r
-\r
- if(tp!=null)\r
- Desktop.addInternalFrame(frame, "Change Font (Tree Panel)", 340, 170, false);\r
- else\r
- Desktop.addInternalFrame(frame, "Change Font", 340, 170, false);\r
-\r
- frame.setLayer(JLayeredPane.PALETTE_LAYER);\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 < 51; i++)\r
- {\r
- fontSize.addItem(i + "");\r
- }\r
-\r
- 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
-\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.repaint();\r
- }\r
-\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!=null)\r
- {\r
- if (ap.getOverviewPanel() != null)\r
- {\r
- ap.getOverviewPanel().updateOverviewImage();\r
- }\r
- }\r
- }\r
-\r
- /**\r
- * DOCUMENT ME!\r
- *\r
- * @param e DOCUMENT ME!\r
- */\r
- protected void cancel_actionPerformed(ActionEvent e)\r
- {\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
- }\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
- if(tp != null)\r
- {\r
- tp.setTreeFont(newFont);\r
- }\r
- else if(ap != null)\r
- {\r
- ap.av.setFont(newFont);\r
- ap.fontChanged();\r
- }\r
-\r
-\r
- FontMetrics fm = getGraphics().getFontMetrics(newFont);\r
-\r
- monospaced.setSelected( fm.getStringBounds("M",getGraphics()).getWidth()\r
- ==fm.getStringBounds("|",getGraphics()).getWidth());\r
-\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
- Cache.setProperty("ANTI_ALIAS", Boolean.toString(smoothFont.isSelected()));\r
- }\r
-}\r
+/*
+ * Jalview - A Sequence Alignment Editor and Viewer (Version 2.6)
+ * Copyright (C) 2010 J Procter, AM Waterhouse, G Barton, M Clamp, S Searle
+ *
+ * This file is part of Jalview.
+ *
+ * Jalview is free software: you can redistribute it and/or
+ * modify it under the terms of the GNU General Public License
+ * as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.
+ *
+ * Jalview is distributed in the hope that it will be useful, but
+ * WITHOUT ANY WARRANTY; without even the implied warranty
+ * of MERCHANTABILITY or FITNESS FOR A PARTICULAR
+ * PURPOSE. See the GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License along with Jalview. If not, see <http://www.gnu.org/licenses/>.
+ */
+package jalview.gui;
+
+import java.awt.*;
+import java.awt.event.*;
+import javax.swing.*;
+
+import jalview.bin.*;
+import jalview.jbgui.*;
+
+/**
+ * DOCUMENT ME!
+ *
+ * @author $author$
+ * @version $Revision$
+ */
+public class FontChooser extends GFontChooser
+{
+ AlignmentPanel ap;
+
+ TreePanel tp;
+
+ Font oldFont;
+
+ boolean init = true;
+
+ JInternalFrame frame;
+
+ /**
+ * Creates a new FontChooser object.
+ *
+ * @param ap
+ * DOCUMENT ME!
+ */
+ public FontChooser(TreePanel tp)
+ {
+ this.tp = tp;
+ ap = tp.treeCanvas.ap;
+ oldFont = tp.getTreeFont();
+ defaultButton.setVisible(false);
+ smoothFont.setEnabled(false);
+ init();
+ }
+
+ /**
+ * Creates a new FontChooser object.
+ *
+ * @param ap
+ * DOCUMENT ME!
+ */
+ public FontChooser(AlignmentPanel ap)
+ {
+ oldFont = ap.av.getFont();
+ this.ap = ap;
+ init();
+ }
+
+ void init()
+ {
+ frame = new JInternalFrame();
+ frame.setContentPane(this);
+
+ smoothFont.setSelected(ap.av.antiAlias);
+
+ if (tp != null)
+ {
+ Desktop.addInternalFrame(frame, "Change Font (Tree Panel)", 340, 170,
+ false);
+ }
+ else
+ {
+ Desktop.addInternalFrame(frame, "Change Font", 340, 170, false);
+ }
+
+ frame.setLayer(JLayeredPane.PALETTE_LAYER);
+
+ String[] fonts = java.awt.GraphicsEnvironment
+ .getLocalGraphicsEnvironment().getAvailableFontFamilyNames();
+
+ for (int i = 0; i < fonts.length; i++)
+ {
+ fontName.addItem(fonts[i]);
+ }
+
+ for (int i = 1; i < 51; i++)
+ {
+ fontSize.addItem(i + "");
+ }
+
+ fontStyle.addItem("plain");
+ fontStyle.addItem("bold");
+ fontStyle.addItem("italic");
+
+ fontName.setSelectedItem(oldFont.getName());
+ fontSize.setSelectedItem(oldFont.getSize() + "");
+ fontStyle.setSelectedIndex(oldFont.getStyle());
+
+ FontMetrics fm = getGraphics().getFontMetrics(oldFont);
+ monospaced.setSelected(fm.getStringBounds("M", getGraphics())
+ .getWidth() == fm.getStringBounds("|", getGraphics())
+ .getWidth());
+
+ init = false;
+ }
+
+ public void smoothFont_actionPerformed(ActionEvent e)
+ {
+ ap.av.antiAlias = smoothFont.isSelected();
+ ap.annotationPanel.image = null;
+ ap.paintAlignment(true);
+ }
+
+ /**
+ * DOCUMENT ME!
+ *
+ * @param e
+ * DOCUMENT ME!
+ */
+ protected void ok_actionPerformed(ActionEvent e)
+ {
+ try
+ {
+ frame.setClosed(true);
+ } catch (Exception ex)
+ {
+ }
+
+ if (ap != null)
+ {
+ if (ap.getOverviewPanel() != null)
+ {
+ ap.getOverviewPanel().updateOverviewImage();
+ }
+ }
+ }
+
+ /**
+ * DOCUMENT ME!
+ *
+ * @param e
+ * DOCUMENT ME!
+ */
+ protected void cancel_actionPerformed(ActionEvent e)
+ {
+ if (ap != null)
+ {
+ ap.av.setFont(oldFont);
+ ap.paintAlignment(true);
+ }
+ else if (tp != null)
+ {
+ tp.setTreeFont(oldFont);
+ }
+ fontName.setSelectedItem(oldFont.getName());
+ fontSize.setSelectedItem(oldFont.getSize() + "");
+ fontStyle.setSelectedIndex(oldFont.getStyle());
+
+ try
+ {
+ frame.setClosed(true);
+ } catch (Exception ex)
+ {
+ }
+ }
+
+ /**
+ * DOCUMENT ME!
+ */
+ void changeFont()
+ {
+ Font newFont = new Font(fontName.getSelectedItem().toString(),
+ fontStyle.getSelectedIndex(), Integer.parseInt(fontSize
+ .getSelectedItem().toString()));
+ if (tp != null)
+ {
+ tp.setTreeFont(newFont);
+ }
+ else if (ap != null)
+ {
+ ap.av.setFont(newFont);
+ ap.fontChanged();
+ }
+
+ FontMetrics fm = getGraphics().getFontMetrics(newFont);
+
+ monospaced.setSelected(fm.getStringBounds("M", getGraphics())
+ .getWidth() == fm.getStringBounds("|", getGraphics())
+ .getWidth());
+
+ }
+
+ /**
+ * DOCUMENT ME!
+ *
+ * @param e
+ * DOCUMENT ME!
+ */
+ protected void fontName_actionPerformed(ActionEvent e)
+ {
+ if (init)
+ {
+ return;
+ }
+
+ changeFont();
+ }
+
+ /**
+ * DOCUMENT ME!
+ *
+ * @param e
+ * DOCUMENT ME!
+ */
+ protected void fontSize_actionPerformed(ActionEvent e)
+ {
+ if (init)
+ {
+ return;
+ }
+
+ changeFont();
+ }
+
+ /**
+ * DOCUMENT ME!
+ *
+ * @param e
+ * DOCUMENT ME!
+ */
+ protected void fontStyle_actionPerformed(ActionEvent e)
+ {
+ if (init)
+ {
+ return;
+ }
+
+ changeFont();
+ }
+
+ /**
+ * DOCUMENT ME!
+ *
+ * @param e
+ * DOCUMENT ME!
+ */
+ public void defaultButton_actionPerformed(ActionEvent e)
+ {
+ Cache.setProperty("FONT_NAME", fontName.getSelectedItem().toString());
+ Cache.setProperty("FONT_STYLE", fontStyle.getSelectedIndex() + "");
+ Cache.setProperty("FONT_SIZE", fontSize.getSelectedItem().toString());
+ Cache.setProperty("ANTI_ALIAS",
+ Boolean.toString(smoothFont.isSelected()));
+ }
+}