X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FFontChooser.java;h=85537bf53f508d795ee0d1bb2cb26929b4b2a16f;hb=865a855a4ca87eadb3e5ff284ed32ed307d9c34b;hp=7a27df89754ca2375e4c73b44391e22d524bd400;hpb=a45774ee31d9f35d4eff46d54d7deab719afb092;p=jalview.git diff --git a/src/jalview/appletgui/FontChooser.java b/src/jalview/appletgui/FontChooser.java index 7a27df8..85537bf 100755 --- a/src/jalview/appletgui/FontChooser.java +++ b/src/jalview/appletgui/FontChooser.java @@ -1,19 +1,20 @@ /* - * Jalview - A Sequence Alignment Editor and Viewer (Version 2.7) - * Copyright (C) 2011 J Procter, AM Waterhouse, G Barton, M Clamp, S Searle + * Jalview - A Sequence Alignment Editor and Viewer (Version 2.8.0b1) + * Copyright (C) 2014 The Jalview Authors * * This file is part of Jalview. * * Jalview 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 3 of the License, or (at your option) any later version. - * + * * Jalview 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 Jalview. If not, see . + * The Jalview Authors are detailed in the 'AUTHORS' file. */ package jalview.appletgui; @@ -153,20 +154,58 @@ public class FontChooser extends Panel implements ActionListener, frame.setVisible(false); } + private Font lastSelected = null; + + private int lastSelStyle = 0; + + private int lastSelSize = 0; + + /** + * DOCUMENT ME! + */ void changeFont() { + if (lastSelected == null) + { + // initialise with original font + lastSelected = oldFont; + lastSelSize = oldFont.getSize(); + lastSelStyle = oldFont.getStyle(); + } + Font newFont = new Font(fontName.getSelectedItem().toString(), fontStyle.getSelectedIndex(), Integer.parseInt(fontSize .getSelectedItem().toString())); - if (ap != null) + FontMetrics fm = getGraphics().getFontMetrics(newFont); + double mw = fm.getStringBounds("M", getGraphics()).getWidth(), iw = fm + .getStringBounds("I", getGraphics()).getWidth(); + if (mw < 1 || iw < 1) { - ap.av.setFont(newFont); - ap.fontChanged(); + // TODO: JAL-1100 + fontName.select(lastSelected.getName()); + fontStyle.select(lastSelStyle); + fontSize.select("" + lastSelSize); + JVDialog d = new JVDialog(this.frame, "Invalid Font", true, 350, 200); + Panel mp = new Panel(); + d.cancel.setVisible(false); + mp.setLayout(new FlowLayout()); + mp.add(new Label( + "Font doesn't have letters defined\nso cannot be used\nwith alignment data.")); + d.setMainPanel(mp); + d.setVisible(true); + return; } - else if (tp != null) + if (tp != null) { tp.setTreeFont(newFont); } + else if (ap != null) + { + ap.av.setFont(newFont); + ap.fontChanged(); + } + // remember last selected + lastSelected = newFont; } protected void fontName_actionPerformed()