/* * Jalview - A Sequence Alignment Editor and Viewer * Copyright (C) 2005 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License * as published by the Free Software Foundation; either version 2 * of the License, or (at your option) any later version. * * This program is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the * GNU General Public License for more details. * * You should have received a copy of the GNU General Public License * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA */ package jalview.appletgui; import java.awt.*; import jalview.jbappletgui.*; public class FontChooser extends GFontChooser { AlignmentPanel ap; Font oldFont; boolean init = true; Frame frame; public FontChooser(AlignmentPanel ap, Frame frame) { super(); this.frame = frame; this.ap = ap; String fonts[] = Toolkit.getDefaultToolkit().getFontList(); for (int i = 0; i < fonts.length; i++) { fontName.addItem(fonts[i]); } for (int i = 1; i < 31; i++) { fontSize.addItem(i + ""); } fontStyle.addItem("plain"); fontStyle.addItem("bold"); fontStyle.addItem("italic"); oldFont = ap.av.getFont(); fontName.select(oldFont.getName()); fontSize.select(oldFont.getSize() + ""); fontStyle.select(oldFont.getStyle()); init = false; } protected void ok_actionPerformed() { frame.setVisible(false); if (ap.getOverviewPanel() != null) { ap.getOverviewPanel().updateOverviewImage(); } } protected void cancel_actionPerformed() { ap.av.setFont(oldFont); ap.repaint(); fontName.select(oldFont.getName()); fontSize.select(oldFont.getSize() + ""); fontStyle.select(oldFont.getStyle()); frame.setVisible(false); } void changeFont() { Font newFont = new Font(fontName.getSelectedItem().toString(), fontStyle.getSelectedIndex(), Integer.parseInt(fontSize.getSelectedItem(). toString()) ); ap.av.setFont(newFont); ap.fontChanged(); } protected void fontName_actionPerformed() { if (init) { return; } changeFont(); } protected void fontSize_actionPerformed() { if (init) { return; } changeFont(); } protected void fontStyle_actionPerformed() { if (init) { return; } changeFont(); } }