From: gmungoc Date: Thu, 3 Aug 2017 11:18:03 +0000 (+0200) Subject: JAL-2435 test for 'mirror font' option visible (not enabled) (safer) X-Git-Tag: Release_2_10_3b1~163^2~3 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=e926a5db21c00294ae1fdc91d31336e758d3bf98;p=jalview.git JAL-2435 test for 'mirror font' option visible (not enabled) (safer) --- diff --git a/src/jalview/gui/FontChooser.java b/src/jalview/gui/FontChooser.java index 06f29e9..20a6289 100755 --- a/src/jalview/gui/FontChooser.java +++ b/src/jalview/gui/FontChooser.java @@ -323,22 +323,17 @@ public class FontChooser extends GFontChooser ap.fontChanged(); /* - * adjust other half of split frame if any, if either same - * font, or proportionate scaling, is selected + * adjust other half of split frame if present, whether or not same font or + * scale to cDNA is selected, because a font change may affect character + * width, and this is kept the same in both panels */ - if (fontAsCdna.isEnabled()) + if (fontAsCdna.isVisible()) { if (fontAsCdna.isSelected()) { - /* - * copy the font - */ ap.av.getCodingComplement().setFont(newFont, true); } - /* - * adjust layout for font change / reset / sizing - */ SplitFrame splitFrame = (SplitFrame) ap.alignFrame .getSplitViewContainer(); splitFrame.adjustLayout();