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
15 boolean init = true;
\r
16 JInternalFrame frame;
\r
18 public FontChooser(AlignmentPanel ap, JInternalFrame f)
\r
22 String fonts[] = java.awt.GraphicsEnvironment.getLocalGraphicsEnvironment().getAvailableFontFamilyNames();
\r
23 for(int i=0; i<fonts.length; i++)
\r
24 fontName.addItem(fonts[i]);
\r
26 for(int i=1; i<31; i++)
\r
27 fontSize.addItem(i+"");
\r
29 fontStyle.addItem("plain");
\r
30 fontStyle.addItem("bold");
\r
31 fontStyle.addItem("italic");
\r
33 oldFont = ap.av.getFont();
\r
34 fontName.setSelectedItem(oldFont.getName());
\r
35 fontSize.setSelectedItem(oldFont.getSize()+"");
\r
36 fontStyle.setSelectedIndex(oldFont.getStyle());
\r
41 protected void ok_actionPerformed(ActionEvent e)
\r
44 frame.setClosed(true);
\r
45 }catch(Exception ex){}
\r
47 jalview.bin.Cache.setProperty("FONT_NAME", fontName.getSelectedItem().toString());
\r
48 jalview.bin.Cache.setProperty("FONT_STYLE", fontStyle.getSelectedIndex()+"");
\r
49 jalview.bin.Cache.setProperty("FONT_SIZE", fontSize.getSelectedItem().toString());
\r
52 protected void cancel_actionPerformed(ActionEvent e)
\r
54 ap.av.setFont(oldFont);
\r
56 fontName.setSelectedItem(oldFont.getName());
\r
57 fontSize.setSelectedItem(oldFont.getSize()+"");
\r
58 fontStyle.setSelectedIndex(oldFont.getStyle());
\r
63 Font newFont = new Font(fontName.getSelectedItem().toString(),
\r
64 fontStyle.getSelectedIndex(),
\r
65 Integer.parseInt(fontSize.getSelectedItem().toString())
\r
67 ap.av.setFont(newFont);
\r
71 protected void fontName_actionPerformed(ActionEvent e)
\r
77 protected void fontSize_actionPerformed(ActionEvent e)
\r
83 protected void fontStyle_actionPerformed(ActionEvent e)
\r