src/jalview/gui/FontChooser.java

   1 package jalview.gui;\r
   2 \r
   3 import jalview.jbgui.GFontChooser;\r
   4 import jalview.gui.*;\r
   5 import java.awt.*;\r
   6 import java.awt.event.*;\r
   7 import javax.swing.*;\r
   8 import javax.swing.event.*;\r
   9 \r
  10 \r
  11 public class FontChooser extends GFontChooser\r
  12 {\r
  13   AlignmentPanel ap;\r
  14   Font oldFont;\r
  15 \r
  16   public FontChooser(AlignmentPanel ap)\r
  17   {\r
  18     this.ap = ap;\r
  19 \r
  20     String fonts[] = java.awt.GraphicsEnvironment.getLocalGraphicsEnvironment().getAvailableFontFamilyNames();\r
  21     for(int i=0; i<fonts.length; i++)\r
  22       fontName.addItem(fonts[i]);\r
  23 \r
  24     for(int i=1; i<31; i++)\r
  25       fontSize.addItem(i+"");\r
  26 \r
  27    fontStyle.addItem("plain");\r
  28    fontStyle.addItem("bold");\r
  29    fontStyle.addItem("italic");\r
  30 \r
  31    oldFont = ap.av.getFont();\r
  32    fontName.setSelectedItem(oldFont.getName());\r
  33    fontSize.setSelectedItem(oldFont.getSize()+"");\r
  34    fontStyle.setSelectedIndex(oldFont.getStyle());\r
  35 \r
  36   }\r
  37 \r
  38   protected void ok_actionPerformed(ActionEvent e)\r
  39   {\r
  40     Font newFont = new Font(fontName.getSelectedItem().toString(),\r
  41                             fontStyle.getSelectedIndex(),\r
  42                             Integer.parseInt(fontSize.getSelectedItem().toString()+"")\r
  43                             );\r
  44     ap.av.setFont(newFont);\r
  45     ap.RefreshPanels();\r
  46     ap.RefreshPanels();\r
  47   }\r
  48 \r
  49   protected void cancel_actionPerformed(ActionEvent e)\r
  50   {\r
  51     ap.av.setFont(oldFont);\r
  52     ap.RefreshPanels();\r
  53     fontName.setSelectedItem(oldFont.getName());\r
  54     fontSize.setSelectedItem(oldFont.getSize()+"");\r
  55     fontStyle.setSelectedIndex(oldFont.getStyle());\r
  56   }\r
  57 \r
  58 \r
  59 }\r