From 13ab52271b76b41ece153044b30316c23c4386a2 Mon Sep 17 00:00:00 2001 From: hansonr Date: Mon, 29 Jul 2019 15:30:34 -0500 Subject: [PATCH] JAL-3383 JAL-3253-applet bug in FontChooser calls for full redraw; should be just a new box. --- src/jalview/gui/FontChooser.java | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) 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(); } } } -- 1.7.10.2