From 7a102b1d0f6fde3df2d8c79d6e51edd9529bfd29 Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Tue, 28 Nov 2006 12:39:59 +0000 Subject: [PATCH] Dont change ap font from treePanel --- src/jalview/gui/FontChooser.java | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/src/jalview/gui/FontChooser.java b/src/jalview/gui/FontChooser.java index 16d1f55..7f7416f 100755 --- a/src/jalview/gui/FontChooser.java +++ b/src/jalview/gui/FontChooser.java @@ -180,16 +180,17 @@ public class FontChooser extends GFontChooser Font newFont = new Font(fontName.getSelectedItem().toString(), fontStyle.getSelectedIndex(), Integer.parseInt(fontSize.getSelectedItem().toString())); - if (ap != null) + if(tp != null) { - ap.av.setFont(newFont); - ap.fontChanged(); + tp.setTreeFont(newFont); } - else if(tp != null) + else if(ap != null) { - tp.setTreeFont(newFont); + ap.av.setFont(newFont); + ap.fontChanged(); } + FontMetrics fm = getGraphics().getFontMetrics(newFont); monospaced.setSelected( fm.getStringBounds("M",getGraphics()).getWidth() -- 1.7.10.2