Merge branch 'features/JAL-2435splitScreenFont' into develop
[jalview.git] / src / jalview / appletgui / SeqPanel.java
index c413a06..fcae97c 100644 (file)
@@ -965,7 +965,9 @@ public class SeqPanel extends Panel implements MouseMotionListener,
           fontSize = 1;
         }
 
-        av.setFont(new Font(av.font.getName(), av.font.getStyle(), fontSize));
+        av.setFont(
+                new Font(av.font.getName(), av.font.getStyle(), fontSize),
+                true);
         av.setCharWidth(oldWidth);
       }
       else