From 66a6fa551785201683e36e9e6682e4e96872877b Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Thu, 9 Nov 2006 18:13:57 +0000 Subject: [PATCH] smooth fonts moved here --- src/jalview/gui/FontChooser.java | 17 +++++++++++++++-- 1 file changed, 15 insertions(+), 2 deletions(-) diff --git a/src/jalview/gui/FontChooser.java b/src/jalview/gui/FontChooser.java index b52ca32..87edfec 100755 --- a/src/jalview/gui/FontChooser.java +++ b/src/jalview/gui/FontChooser.java @@ -70,10 +70,13 @@ public class FontChooser extends GFontChooser { frame = new JInternalFrame(); frame.setContentPane(this); + + smoothFont.setSelected(ap.av.antiAlias); + if(tp!=null) - Desktop.addInternalFrame(frame, "Change Font (Tree Panel)", 540, 100, false); + Desktop.addInternalFrame(frame, "Change Font (Tree Panel)", 340, 170, false); else - Desktop.addInternalFrame(frame, "Change Font", 540, 100, false); + Desktop.addInternalFrame(frame, "Change Font", 340, 170, false); frame.setLayer(JLayeredPane.PALETTE_LAYER); @@ -106,6 +109,15 @@ public class FontChooser extends GFontChooser init = false; } + public void smoothFont_actionPerformed(ActionEvent e) + { + ap.av.antiAlias = smoothFont.isSelected(); + ap.annotationPanel.image = null; + ap.repaint(); + } + + + /** * DOCUMENT ME! * @@ -239,5 +251,6 @@ public class FontChooser extends GFontChooser 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())); } } -- 1.7.10.2