package jalview.gui; import jalview.jbgui.GFontChooser; import jalview.gui.*; import java.awt.*; import java.awt.event.*; import javax.swing.*; import javax.swing.event.*; public class FontChooser extends GFontChooser { AlignmentPanel ap; Font oldFont; boolean init = true; JInternalFrame frame; public FontChooser(AlignmentPanel ap, JInternalFrame f) { this.ap = ap; frame = f; String fonts[] = java.awt.GraphicsEnvironment.getLocalGraphicsEnvironment().getAvailableFontFamilyNames(); for(int i=0; i