JAL-3383 JAL-3253-applet bug in FontChooser calls for full redraw;
[jalview.git] / src / jalview / gui / FontChooser.java
index 92cc4c6..9bb133c 100755 (executable)
@@ -215,7 +215,11 @@ public class FontChooser extends GFontChooser
     {
       if (ap.getOverviewPanel() != null)
       {
-        ap.getOverviewPanel().updateOverviewImage();
+        // 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();
       }
     }
   }
@@ -408,10 +412,10 @@ public class FontChooser extends GFontChooser
   @Override
   public void defaultButton_actionPerformed()
   {
-    Cache.setProperty("FONT_NAME", fontName.getSelectedItem().toString());
-    Cache.setProperty("FONT_STYLE", fontStyle.getSelectedIndex() + "");
-    Cache.setProperty("FONT_SIZE", fontSize.getSelectedItem().toString());
-    Cache.setProperty("ANTI_ALIAS",
+    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,
             Boolean.toString(smoothFont.isSelected()));
     Cache.setProperty(Preferences.SCALE_PROTEIN_TO_CDNA,
             Boolean.toString(scaleAsCdna.isSelected()));