src/jalview/appletgui/FontChooser.java

   1 /*
   2  * Jalview - A Sequence Alignment Editor and Viewer (Version 2.8.0b1)
   3  * Copyright (C) 2014 The Jalview Authors
   4  *
   5  * This file is part of Jalview.
   6  *
   7  * Jalview is free software: you can redistribute it and/or
   8  * modify it under the terms of the GNU General Public License
   9  * as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.
  10  *
  11  * Jalview is distributed in the hope that it will be useful, but
  12  * WITHOUT ANY WARRANTY; without even the implied warranty
  13  * of MERCHANTABILITY or FITNESS FOR A PARTICULAR
  14  * PURPOSE.  See the GNU General Public License for more details.
  15  *
  16  * You should have received a copy of the GNU General Public License along with Jalview.  If not, see <http://www.gnu.org/licenses/>.
  17  * The Jalview Authors are detailed in the 'AUTHORS' file.
  18  */
  19 package jalview.appletgui;
  20
  21 import java.awt.*;
  22 import java.awt.event.*;
  23
  24 public class FontChooser extends Panel implements ActionListener,
  25         ItemListener
  26 {
  27   AlignmentPanel ap;
  28
  29   TreePanel tp;
  30
  31   Font oldFont;
  32
  33   boolean init = true;
  34
  35   Frame frame;
  36
  37   public FontChooser(TreePanel tp)
  38   {
  39     try
  40     {
  41       jbInit();
  42     } catch (Exception e)
  43     {
  44       e.printStackTrace();
  45     }
  46
  47     this.tp = tp;
  48     oldFont = tp.getTreeFont();
  49     init();
  50   }
  51
  52   public FontChooser(AlignmentPanel ap)
  53   {
  54     try
  55     {
  56       jbInit();
  57     } catch (Exception e)
  58     {
  59       e.printStackTrace();
  60     }
  61
  62     this.ap = ap;
  63     oldFont = ap.av.getFont();
  64     init();
  65   }
  66
  67   void init()
  68   {
  69     String fonts[] = Toolkit.getDefaultToolkit().getFontList();
  70     for (int i = 0; i < fonts.length; i++)
  71     {
  72       fontName.addItem(fonts[i]);
  73     }
  74
  75     for (int i = 1; i < 31; i++)
  76     {
  77       fontSize.addItem(i + "");
  78     }
  79
  80     fontStyle.addItem("plain");
  81     fontStyle.addItem("bold");
  82     fontStyle.addItem("italic");
  83
  84     fontName.select(oldFont.getName());
  85     fontSize.select(oldFont.getSize() + "");
  86     fontStyle.select(oldFont.getStyle());
  87
  88     Frame frame = new Frame();
  89     this.frame = frame;
  90     frame.add(this);
  91     jalview.bin.JalviewLite.addFrame(frame, "Change Font", 440, 115);
  92
  93     init = false;
  94   }
  95
  96   public void actionPerformed(ActionEvent evt)
  97   {
  98     if (evt.getSource() == ok)
  99     {
 100       ok_actionPerformed();
 101     }
 102     else if (evt.getSource() == cancel)
 103     {
 104       cancel_actionPerformed();
 105     }
 106   }
 107
 108   public void itemStateChanged(ItemEvent evt)
 109   {
 110     if (evt.getSource() == fontName)
 111     {
 112       fontName_actionPerformed();
 113     }
 114     else if (evt.getSource() == fontSize)
 115     {
 116       fontSize_actionPerformed();
 117     }
 118     else if (evt.getSource() == fontStyle)
 119     {
 120       fontStyle_actionPerformed();
 121     }
 122   }
 123
 124   protected void ok_actionPerformed()
 125   {
 126     frame.setVisible(false);
 127     if (ap != null)
 128     {
 129       if (ap.getOverviewPanel() != null)
 130       {
 131         ap.getOverviewPanel().updateOverviewImage();
 132       }
 133     }
 134
 135   }
 136
 137   protected void cancel_actionPerformed()
 138   {
 139     if (ap != null)
 140     {
 141       ap.av.setFont(oldFont);
 142       ap.paintAlignment(true);
 143     }
 144     else if (tp != null)
 145     {
 146       tp.setTreeFont(oldFont);
 147       tp.treeCanvas.repaint();
 148     }
 149
 150     fontName.select(oldFont.getName());
 151     fontSize.select(oldFont.getSize() + "");
 152     fontStyle.select(oldFont.getStyle());
 153
 154     frame.setVisible(false);
 155   }
 156
 157   private Font lastSelected = null;
 158
 159   private int lastSelStyle = 0;
 160
 161   private int lastSelSize = 0;
 162
 163   /**
 164    * DOCUMENT ME!
 165    */
 166   void changeFont()
 167   {
 168     if (lastSelected == null)
 169     {
 170       // initialise with original font
 171       lastSelected = oldFont;
 172       lastSelSize = oldFont.getSize();
 173       lastSelStyle = oldFont.getStyle();
 174     }
 175
 176     Font newFont = new Font(fontName.getSelectedItem().toString(),
 177             fontStyle.getSelectedIndex(), Integer.parseInt(fontSize
 178                     .getSelectedItem().toString()));
 179     FontMetrics fm = getGraphics().getFontMetrics(newFont);
 180     double mw = fm.getStringBounds("M", getGraphics()).getWidth(), iw = fm
 181             .getStringBounds("I", getGraphics()).getWidth();
 182     if (mw < 1 || iw < 1)
 183     {
 184       // TODO: JAL-1100
 185       fontName.select(lastSelected.getName());
 186       fontStyle.select(lastSelStyle);
 187       fontSize.select("" + lastSelSize);
 188       JVDialog d = new JVDialog(this.frame, "Invalid Font", true, 350, 200);
 189       Panel mp = new Panel();
 190       d.cancel.setVisible(false);
 191       mp.setLayout(new FlowLayout());
 192       mp.add(new Label(
 193               "Font doesn't have letters defined\nso cannot be used\nwith alignment data."));
 194       d.setMainPanel(mp);
 195       d.setVisible(true);
 196       return;
 197     }
 198     if (tp != null)
 199     {
 200       tp.setTreeFont(newFont);
 201     }
 202     else if (ap != null)
 203     {
 204       ap.av.setFont(newFont);
 205       ap.fontChanged();
 206     }
 207     // remember last selected
 208     lastSelected = newFont;
 209   }
 210
 211   protected void fontName_actionPerformed()
 212   {
 213     if (init)
 214     {
 215       return;
 216     }
 217     changeFont();
 218   }
 219
 220   protected void fontSize_actionPerformed()
 221   {
 222     if (init)
 223     {
 224       return;
 225     }
 226     changeFont();
 227   }
 228
 229   protected void fontStyle_actionPerformed()
 230   {
 231     if (init)
 232     {
 233       return;
 234     }
 235     changeFont();
 236   }
 237
 238   Label label1 = new Label();
 239
 240   protected Choice fontSize = new Choice();
 241
 242   protected Choice fontStyle = new Choice();
 243
 244   Label label2 = new Label();
 245
 246   Label label3 = new Label();
 247
 248   protected Choice fontName = new Choice();
 249
 250   Button ok = new Button();
 251
 252   Button cancel = new Button();
 253
 254   Panel panel1 = new Panel();
 255
 256   Panel panel2 = new Panel();
 257
 258   Panel panel3 = new Panel();
 259
 260   BorderLayout borderLayout1 = new BorderLayout();
 261
 262   BorderLayout borderLayout2 = new BorderLayout();
 263
 264   BorderLayout borderLayout3 = new BorderLayout();
 265
 266   Panel panel4 = new Panel();
 267
 268   Panel panel5 = new Panel();
 269
 270   BorderLayout borderLayout4 = new BorderLayout();
 271
 272   private void jbInit() throws Exception
 273   {
 274     label1.setFont(new java.awt.Font("Verdana", 0, 11));
 275     label1.setAlignment(Label.RIGHT);
 276     label1.setText("Font: ");
 277     this.setLayout(borderLayout4);
 278     fontSize.setFont(new java.awt.Font("Verdana", 0, 11));
 279     fontSize.addItemListener(this);
 280     fontStyle.setFont(new java.awt.Font("Verdana", 0, 11));
 281     fontStyle.addItemListener(this);
 282     label2.setAlignment(Label.RIGHT);
 283     label2.setFont(new java.awt.Font("Verdana", 0, 11));
 284     label2.setText("Size: ");
 285     label3.setAlignment(Label.RIGHT);
 286     label3.setFont(new java.awt.Font("Verdana", 0, 11));
 287     label3.setText("Style: ");
 288     fontName.setFont(new java.awt.Font("Verdana", 0, 11));
 289     fontName.addItemListener(this);
 290     ok.setFont(new java.awt.Font("Verdana", 0, 11));
 291     ok.setLabel("OK");
 292     ok.addActionListener(this);
 293     cancel.setFont(new java.awt.Font("Verdana", 0, 11));
 294     cancel.setLabel("Cancel");
 295     cancel.addActionListener(this);
 296     this.setBackground(Color.white);
 297     panel1.setLayout(borderLayout1);
 298     panel2.setLayout(borderLayout3);
 299     panel3.setLayout(borderLayout2);
 300     panel5.setBackground(Color.white);
 301     panel4.setBackground(Color.white);
 302     panel1.setBackground(Color.white);
 303     panel2.setBackground(Color.white);
 304     panel3.setBackground(Color.white);
 305     panel1.add(label1, BorderLayout.WEST);
 306     panel1.add(fontName, BorderLayout.CENTER);
 307     panel5.add(panel1, null);
 308     panel5.add(panel3, null);
 309     panel5.add(panel2, null);
 310     panel2.add(label3, BorderLayout.WEST);
 311     panel2.add(fontStyle, BorderLayout.CENTER);
 312     panel3.add(label2, BorderLayout.WEST);
 313     panel3.add(fontSize, BorderLayout.CENTER);
 314     this.add(panel4, BorderLayout.SOUTH);
 315     panel4.add(ok, null);
 316     panel4.add(cancel, null);
 317     this.add(panel5, BorderLayout.CENTER);
 318   }
 319
 320 }