+/*\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
\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
+ boolean init = true;\r
+ JInternalFrame frame;\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().getAvailableFontFamilyNames();\r
- for(int i=0; i<fonts.length; i++)\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
}\r
\r
protected void ok_actionPerformed(ActionEvent e)\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.RefreshPanels();\r
- ap.RefreshPanels();\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
protected void cancel_actionPerformed(ActionEvent e)\r
{\r
ap.av.setFont(oldFont);\r
- ap.RefreshPanels();\r
+ ap.repaint();\r
fontName.setSelectedItem(oldFont.getName());\r
- fontSize.setSelectedItem(oldFont.getSize()+"");\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
+ void changeFont()\r
+ {\r
+ Font newFont = new Font(fontName.getSelectedItem().toString(),\r
+ fontStyle.getSelectedIndex(),\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)\r
+ {\r
+ return;\r
+ }\r
+\r
+ changeFont();\r
+ }\r
+\r
+ protected void fontSize_actionPerformed(ActionEvent e)\r
+ {\r
+ if (init)\r
+ {\r
+ return;\r
+ }\r
+\r
+ changeFont();\r
}\r
\r
+ protected void fontStyle_actionPerformed(ActionEvent e)\r
+ {\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_SIZE", fontSize.getSelectedItem().toString());\r
+ }\r
}\r