package jalview.gui; import jalview.jbgui.GFontChooser; import jalview.gui.*; import java.awt.*; import java.awt.event.*; import javax.swing.*; import javax.swing.event.*; import jalview.bin.Cache; public class FontChooser extends GFontChooser { AlignmentPanel ap; Font oldFont; boolean init = true; JInternalFrame frame; public FontChooser(AlignmentPanel ap) { frame = new JInternalFrame(); frame.setContentPane(this); Desktop.addInternalFrame(frame, "Change Font", 480,100, false); frame.setLayer(JLayeredPane.PALETTE_LAYER); this.ap = ap; String fonts[] = java.awt.GraphicsEnvironment.getLocalGraphicsEnvironment().getAvailableFontFamilyNames(); for(int i=0; i