X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FFontChooser.java;h=aaf0abcd41dfc26592623fc91e7ab658c24a3d89;hb=942de34caf73a7d61104783c8d278c32eaf6b65d;hp=b911d7d632afec839d3b8928a323749a682e4e95;hpb=588042b69abf8e60bcc950b24c283933c7dd422f;p=jalview.git diff --git a/src/jalview/gui/FontChooser.java b/src/jalview/gui/FontChooser.java index b911d7d..aaf0abc 100755 --- a/src/jalview/gui/FontChooser.java +++ b/src/jalview/gui/FontChooser.java @@ -1,6 +1,6 @@ /* * Jalview - A Sequence Alignment Editor and Viewer - * Copyright (C) 2005 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle + * Copyright (C) 2007 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 @@ -25,22 +25,65 @@ import javax.swing.*; import jalview.bin.*; import jalview.jbgui.*; +/** + * DOCUMENT ME! + * + * @author $author$ + * @version $Revision$ + */ public class FontChooser extends GFontChooser { AlignmentPanel ap; + TreePanel tp; Font oldFont; boolean init = true; JInternalFrame frame; + /** + * Creates a new FontChooser object. + * + * @param ap DOCUMENT ME! + */ + public FontChooser(TreePanel tp) + { + this.tp = tp; + ap = tp.treeCanvas.ap; + oldFont = tp.getTreeFont(); + defaultButton.setVisible(false); + smoothFont.setEnabled(false); + init(); + } + + /** + * Creates a new FontChooser object. + * + * @param ap DOCUMENT ME! + */ public FontChooser(AlignmentPanel ap) { + oldFont = ap.av.getFont(); + this.ap = ap; + init(); + } + + void init() + { frame = new JInternalFrame(); frame.setContentPane(this); - Desktop.addInternalFrame(frame, "Change Font", 480, 100, false); - frame.setLayer(JLayeredPane.PALETTE_LAYER); - this.ap = ap; + smoothFont.setSelected(ap.av.antiAlias); + + if (tp != null) + { + Desktop.addInternalFrame(frame, "Change Font (Tree Panel)", 340, 170, false); + } + else + { + Desktop.addInternalFrame(frame, "Change Font", 340, 170, false); + } + + frame.setLayer(JLayeredPane.PALETTE_LAYER); String[] fonts = java.awt.GraphicsEnvironment.getLocalGraphicsEnvironment() .getAvailableFontFamilyNames(); @@ -50,7 +93,7 @@ public class FontChooser fontName.addItem(fonts[i]); } - for (int i = 1; i < 31; i++) + for (int i = 1; i < 51; i++) { fontSize.addItem(i + ""); } @@ -59,14 +102,29 @@ public class FontChooser fontStyle.addItem("bold"); fontStyle.addItem("italic"); - oldFont = ap.av.getFont(); fontName.setSelectedItem(oldFont.getName()); fontSize.setSelectedItem(oldFont.getSize() + ""); fontStyle.setSelectedIndex(oldFont.getStyle()); + FontMetrics fm = getGraphics().getFontMetrics(oldFont); + monospaced.setSelected(fm.getStringBounds("M", getGraphics()).getWidth() + == fm.getStringBounds("|", getGraphics()).getWidth()); + init = false; } + public void smoothFont_actionPerformed(ActionEvent e) + { + ap.av.antiAlias = smoothFont.isSelected(); + ap.annotationPanel.image = null; + ap.paintAlignment(true); + } + + /** + * DOCUMENT ME! + * + * @param e DOCUMENT ME! + */ protected void ok_actionPerformed(ActionEvent e) { try @@ -77,16 +135,31 @@ public class FontChooser { } - if (ap.getOverviewPanel() != null) + if (ap != null) { - ap.getOverviewPanel().updateOverviewImage(); + if (ap.getOverviewPanel() != null) + { + ap.getOverviewPanel().updateOverviewImage(); + } } } + /** + * DOCUMENT ME! + * + * @param e DOCUMENT ME! + */ protected void cancel_actionPerformed(ActionEvent e) { - ap.av.setFont(oldFont); - ap.repaint(); + if (ap != null) + { + ap.av.setFont(oldFont); + ap.paintAlignment(true); + } + else if (tp != null) + { + tp.setTreeFont(oldFont); + } fontName.setSelectedItem(oldFont.getName()); fontSize.setSelectedItem(oldFont.getSize() + ""); fontStyle.setSelectedIndex(oldFont.getStyle()); @@ -100,16 +173,37 @@ public class FontChooser } } + /** + * DOCUMENT ME! + */ void changeFont() { Font newFont = new Font(fontName.getSelectedItem().toString(), fontStyle.getSelectedIndex(), Integer.parseInt(fontSize.getSelectedItem(). toString())); - ap.av.setFont(newFont); - ap.fontChanged(); + if (tp != null) + { + tp.setTreeFont(newFont); + } + else if (ap != null) + { + ap.av.setFont(newFont); + ap.fontChanged(); + } + + FontMetrics fm = getGraphics().getFontMetrics(newFont); + + monospaced.setSelected(fm.getStringBounds("M", getGraphics()).getWidth() + == fm.getStringBounds("|", getGraphics()).getWidth()); + } + /** + * DOCUMENT ME! + * + * @param e DOCUMENT ME! + */ protected void fontName_actionPerformed(ActionEvent e) { if (init) @@ -120,6 +214,11 @@ public class FontChooser changeFont(); } + /** + * DOCUMENT ME! + * + * @param e DOCUMENT ME! + */ protected void fontSize_actionPerformed(ActionEvent e) { if (init) @@ -130,6 +229,11 @@ public class FontChooser changeFont(); } + /** + * DOCUMENT ME! + * + * @param e DOCUMENT ME! + */ protected void fontStyle_actionPerformed(ActionEvent e) { if (init) @@ -140,10 +244,16 @@ public class FontChooser changeFont(); } + /** + * DOCUMENT ME! + * + * @param e DOCUMENT ME! + */ public void defaultButton_actionPerformed(ActionEvent e) { Cache.setProperty("FONT_NAME", fontName.getSelectedItem().toString()); Cache.setProperty("FONT_STYLE", fontStyle.getSelectedIndex() + ""); Cache.setProperty("FONT_SIZE", fontSize.getSelectedItem().toString()); + Cache.setProperty("ANTI_ALIAS", Boolean.toString(smoothFont.isSelected())); } }