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
9 import jalview.bin.Cache;
\r
12 public class FontChooser extends GFontChooser
\r
16 boolean init = true;
\r
17 JInternalFrame frame;
\r
19 public FontChooser(AlignmentPanel ap)
\r
21 frame = new JInternalFrame();
\r
22 frame.setContentPane(this);
\r
23 Desktop.addInternalFrame(frame, "Change Font", 480,100, false);
\r
24 frame.setLayer(JLayeredPane.PALETTE_LAYER);
\r
27 String fonts[] = java.awt.GraphicsEnvironment.getLocalGraphicsEnvironment().getAvailableFontFamilyNames();
\r
28 for(int i=0; i<fonts.length; i++)
\r
29 fontName.addItem(fonts[i]);
\r
31 for(int i=1; i<31; i++)
\r
32 fontSize.addItem(i+"");
\r
34 fontStyle.addItem("plain");
\r
35 fontStyle.addItem("bold");
\r
36 fontStyle.addItem("italic");
\r
38 oldFont = ap.av.getFont();
\r
39 fontName.setSelectedItem(oldFont.getName());
\r
40 fontSize.setSelectedItem(oldFont.getSize()+"");
\r
41 fontStyle.setSelectedIndex(oldFont.getStyle());
\r
46 protected void ok_actionPerformed(ActionEvent e)
\r
49 frame.setClosed(true);
\r
50 }catch(Exception ex){}
\r
52 if(ap.getOverviewPanel()!=null)
\r
53 ap.getOverviewPanel().updateOverviewImage();
\r
56 protected void cancel_actionPerformed(ActionEvent e)
\r
58 ap.av.setFont(oldFont);
\r
60 fontName.setSelectedItem(oldFont.getName());
\r
61 fontSize.setSelectedItem(oldFont.getSize()+"");
\r
62 fontStyle.setSelectedIndex(oldFont.getStyle());
\r
64 frame.setClosed(true);
\r
65 }catch(Exception ex){}
\r
70 Font newFont = new Font(fontName.getSelectedItem().toString(),
\r
71 fontStyle.getSelectedIndex(),
\r
72 Integer.parseInt(fontSize.getSelectedItem().toString())
\r
74 ap.av.setFont(newFont);
\r
78 protected void fontName_actionPerformed(ActionEvent e)
\r
84 protected void fontSize_actionPerformed(ActionEvent e)
\r
90 protected void fontStyle_actionPerformed(ActionEvent e)
\r
96 public void defaultButton_actionPerformed(ActionEvent e)
\r
98 Cache.setProperty("FONT_NAME", fontName.getSelectedItem().toString());
\r
99 Cache.setProperty("FONT_STYLE", fontStyle.getSelectedIndex()+"");
\r
100 Cache.setProperty("FONT_SIZE", fontSize.getSelectedItem().toString());
\r