From: hansonr <hansonr@STO24954W.ad.stolaf.edu>
Date: Mon, 29 Jul 2019 20:30:34 +0000 (-0500)
Subject: JAL-3383 JAL-3253-applet bug in FontChooser calls for full redraw;
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;ds=sidebyside;h=13ab52271b76b41ece153044b30316c23c4386a2;p=jalview.git

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
--- 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();
       }
     }
   }