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; public FontChooser(AlignmentPanel ap) { this.ap = ap; String fonts[] = java.awt.GraphicsEnvironment.getLocalGraphicsEnvironment().getAvailableFontFamilyNames(); for(int i=0; i