From d8c804e4bd05fe0c6cfc3e8ebbfe1815fade5e54 Mon Sep 17 00:00:00 2001 From: Jim Procter Date: Fri, 15 Sep 2017 15:23:15 +0100 Subject: [PATCH] JAL-2732 force a redraw after resize/drag to clear any outlines --- src/jalview/gui/Desktop.java | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index c8d900d..bf729f6 100644 --- a/src/jalview/gui/Desktop.java +++ b/src/jalview/gui/Desktop.java @@ -269,12 +269,14 @@ public class Desktop extends jalview.jbgui.GDesktop public void endDraggingFrame(JComponent f) { delegate.endDraggingFrame(f); + desktop.repaint(); } @Override public void endResizingFrame(JComponent f) { delegate.endResizingFrame(f); + desktop.repaint(); } @Override -- 1.7.10.2