X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fjalview%2Fgui%2FFontChooser.java;h=9803822ecd1759c9d406af5d052569e90985d006;hb=0a1d49ccc421184b23bcb45cee901f5313913aa1;hp=16d1f5527a4fa44ffabd19882ffb9e4b3f36fd48;hpb=6834a636a0b72693041e2f1090c1123f215c9ec1;p=jalview.git diff --git a/src/jalview/gui/FontChooser.java b/src/jalview/gui/FontChooser.java index 16d1f55..9803822 100755 --- a/src/jalview/gui/FontChooser.java +++ b/src/jalview/gui/FontChooser.java @@ -53,6 +53,7 @@ public class FontChooser extends GFontChooser ap = tp.treeCanvas.ap; oldFont = tp.getTreeFont(); defaultButton.setVisible(false); + smoothFont.setEnabled(false); init(); } /** @@ -180,16 +181,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()