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