src/jalview/gui/FontChooser.java

   1 /*\r
   2 * Jalview - A Sequence Alignment Editor and Viewer\r
   3 * Copyright (C) 2005 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle\r
   4 *\r
   5 * This program is free software; you can redistribute it and/or\r
   6 * modify it under the terms of the GNU General Public License\r
   7 * as published by the Free Software Foundation; either version 2\r
   8 * of the License, or (at your option) any later version.\r
   9 *\r
  10 * This program is distributed in the hope that it will be useful,\r
  11 * but WITHOUT ANY WARRANTY; without even the implied warranty of\r
  12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the\r
  13 * GNU General Public License for more details.\r
  14 *\r
  15 * You should have received a copy of the GNU General Public License\r
  16 * along with this program; if not, write to the Free Software\r
  17 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA\r
  18 */\r
  19 \r
  20 package jalview.gui;\r
  21 \r
  22 import jalview.jbgui.GFontChooser;\r
  23 import jalview.gui.*;\r
  24 import java.awt.*;\r
  25 import java.awt.event.*;\r
  26 import javax.swing.*;\r
  27 import javax.swing.event.*;\r
  28 import jalview.bin.Cache;\r
  29 \r
  30 \r
  31 public class FontChooser extends GFontChooser\r
  32 {\r
  33   AlignmentPanel ap;\r
  34   Font oldFont;\r
  35   boolean init = true;\r
  36   JInternalFrame frame;\r
  37 \r
  38   public FontChooser(AlignmentPanel ap)\r
  39   {\r
  40     frame = new JInternalFrame();\r
  41     frame.setContentPane(this);\r
  42     Desktop.addInternalFrame(frame, "Change Font", 480,100, false);\r
  43     frame.setLayer(JLayeredPane.PALETTE_LAYER);\r
  44 \r
  45     this.ap = ap;\r
  46     String fonts[] = java.awt.GraphicsEnvironment.getLocalGraphicsEnvironment().getAvailableFontFamilyNames();\r
  47     for(int i=0; i<fonts.length; i++)\r
  48       fontName.addItem(fonts[i]);\r
  49 \r
  50     for(int i=1; i<31; i++)\r
  51       fontSize.addItem(i+"");\r
  52 \r
  53    fontStyle.addItem("plain");\r
  54    fontStyle.addItem("bold");\r
  55    fontStyle.addItem("italic");\r
  56 \r
  57    oldFont = ap.av.getFont();\r
  58    fontName.setSelectedItem(oldFont.getName());\r
  59    fontSize.setSelectedItem(oldFont.getSize()+"");\r
  60    fontStyle.setSelectedIndex(oldFont.getStyle());\r
  61 \r
  62    init = false;\r
  63   }\r
  64 \r
  65   protected void ok_actionPerformed(ActionEvent e)\r
  66   {\r
  67     try{\r
  68       frame.setClosed(true);\r
  69     }catch(Exception ex){}\r
  70 \r
  71    if(ap.getOverviewPanel()!=null)\r
  72      ap.getOverviewPanel().updateOverviewImage();\r
  73   }\r
  74 \r
  75   protected void cancel_actionPerformed(ActionEvent e)\r
  76   {\r
  77     ap.av.setFont(oldFont);\r
  78     ap.repaint();\r
  79     fontName.setSelectedItem(oldFont.getName());\r
  80     fontSize.setSelectedItem(oldFont.getSize()+"");\r
  81     fontStyle.setSelectedIndex(oldFont.getStyle());\r
  82     try{\r
  83       frame.setClosed(true);\r
  84     }catch(Exception ex){}\r
  85   }\r
  86 \r
  87   void changeFont()\r
  88   {\r
  89     Font newFont = new Font(fontName.getSelectedItem().toString(),\r
  90                             fontStyle.getSelectedIndex(),\r
  91                             Integer.parseInt(fontSize.getSelectedItem().toString())\r
  92                             );\r
  93     ap.av.setFont(newFont);\r
  94     ap.fontChanged();\r
  95   }\r
  96 \r
  97   protected void fontName_actionPerformed(ActionEvent e)\r
  98   {\r
  99     if(init) return;\r
 100     changeFont();\r
 101   }\r
 102 \r
 103   protected void fontSize_actionPerformed(ActionEvent e)\r
 104   {\r
 105     if(init) return;\r
 106     changeFont();\r
 107   }\r
 108 \r
 109   protected void fontStyle_actionPerformed(ActionEvent e)\r
 110   {\r
 111     if(init) return;\r
 112     changeFont();\r
 113   }\r
 114 \r
 115   public void defaultButton_actionPerformed(ActionEvent e)\r
 116   {\r
 117     Cache.setProperty("FONT_NAME", fontName.getSelectedItem().toString());\r
 118     Cache.setProperty("FONT_STYLE", fontStyle.getSelectedIndex()+"");\r
 119     Cache.setProperty("FONT_SIZE", fontSize.getSelectedItem().toString());\r
 120   }\r
 121 \r
 122 \r
 123 \r
 124 }\r