3 import jalview.jbgui.GFontChooser;
\r
4 import jalview.gui.*;
\r
6 import java.awt.event.*;
\r
7 import javax.swing.*;
\r
8 import javax.swing.event.*;
\r
11 public class FontChooser extends GFontChooser
\r
16 public FontChooser(AlignmentPanel ap)
\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
24 for(int i=1; i<31; i++)
\r
25 fontSize.addItem(i+"");
\r
27 fontStyle.addItem("plain");
\r
28 fontStyle.addItem("bold");
\r
29 fontStyle.addItem("italic");
\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
38 protected void ok_actionPerformed(ActionEvent e)
\r
40 Font newFont = new Font(fontName.getSelectedItem().toString(),
\r
41 fontStyle.getSelectedIndex(),
\r
42 Integer.parseInt(fontSize.getSelectedItem().toString()+"")
\r
44 ap.av.setFont(newFont);
\r
49 protected void cancel_actionPerformed(ActionEvent e)
\r
51 ap.av.setFont(oldFont);
\r
53 fontName.setSelectedItem(oldFont.getName());
\r
54 fontSize.setSelectedItem(oldFont.getSize()+"");
\r
55 fontStyle.setSelectedIndex(oldFont.getStyle());
\r