JAL-2435 last lost commit e926a5d redone
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Wed, 23 Aug 2017 13:42:32 +0000 (14:42 +0100)
committergmungoc <g.m.carstairs@dundee.ac.uk>
Wed, 23 Aug 2017 13:42:32 +0000 (14:42 +0100)
src/jalview/gui/FontChooser.java

index 5271e4f..6cddcca 100755 (executable)
@@ -327,22 +327,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();