X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FFontChooser.java;h=92cc4c61529d81f2ad1c691d37d1347e058dfb4e;hb=4f77328104498504339216829abf5ea87e2791ec;hp=9bb133c12f1950242ee2233a78560be3d81a289c;hpb=2b8c0785318a3528e1876e8e2dd48b7d831eae69;p=jalview.git

diff --git a/src/jalview/gui/FontChooser.java b/src/jalview/gui/FontChooser.java
index 9bb133c..92cc4c6 100755
--- a/src/jalview/gui/FontChooser.java
+++ b/src/jalview/gui/FontChooser.java
@@ -215,11 +215,7 @@ public class FontChooser extends GFontChooser
     {
       if (ap.getOverviewPanel() != null)
       {
-        // changes size of rectangle
-        // BH 2019.07.29 -- updateOverviewImage forces a redraw, but all we are
-        // doing is changing the box size.
-
-        ap.getOverviewPanel().repaint();// updateOverviewImage();
+        ap.getOverviewPanel().updateOverviewImage();
       }
     }
   }
@@ -412,10 +408,10 @@ public class FontChooser extends GFontChooser
   @Override
   public void defaultButton_actionPerformed()
   {
-    Cache.setProperty(Preferences.FONT_NAME, fontName.getSelectedItem().toString());
-    Cache.setProperty(Preferences.FONT_STYLE, fontStyle.getSelectedIndex() + "");
-    Cache.setProperty(Preferences.FONT_SIZE, fontSize.getSelectedItem().toString());
-    Cache.setProperty(Preferences.ANTI_ALIAS,
+    Cache.setProperty("FONT_NAME", fontName.getSelectedItem().toString());
+    Cache.setProperty("FONT_STYLE", fontStyle.getSelectedIndex() + "");
+    Cache.setProperty("FONT_SIZE", fontSize.getSelectedItem().toString());
+    Cache.setProperty("ANTI_ALIAS",
             Boolean.toString(smoothFont.isSelected()));
     Cache.setProperty(Preferences.SCALE_PROTEIN_TO_CDNA,
             Boolean.toString(scaleAsCdna.isSelected()));