From 33b0bc77d496c518d5f211c7c6446771867af343 Mon Sep 17 00:00:00 2001 From: Jim Procter Date: Fri, 15 Sep 2017 15:45:46 +0100 Subject: [PATCH] JAL-2733 redraw after changing the memory status display setting --- src/jalview/gui/Desktop.java | 1 + 1 file changed, 1 insertion(+) diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index 5d8248b..83d1e3e 100644 --- a/src/jalview/gui/Desktop.java +++ b/src/jalview/gui/Desktop.java @@ -2444,6 +2444,7 @@ public class Desktop extends jalview.jbgui.GDesktop Thread worker = new Thread(this); worker.start(); } + repaint(); } public boolean isShowMemoryUsage() -- 1.7.10.2