JAL-3383 JAL-3253-applet bug in FontChooser calls for full redraw;

should be just a new box.

diff --git a/src/jalview/gui/FontChooser.java b/src/jalview/gui/FontChooser.java
index ad41293..9bb133c 100755 (executable)
--- a/src/jalview/gui/FontChooser.java
+++ b/src/jalview/gui/FontChooser.java
@@ -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();
       }
     }
   }