From f6df246e043022eac313953e03111d781f3d0234 Mon Sep 17 00:00:00 2001 From: jprocter Date: Mon, 5 Oct 2009 16:03:08 +0000 Subject: [PATCH] immediately show memory usage --- src/jalview/gui/Desktop.java | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index fcd2dca..b9e7996 100755 --- a/src/jalview/gui/Desktop.java +++ b/src/jalview/gui/Desktop.java @@ -1315,7 +1315,6 @@ public class Desktop extends jalview.jbgui.GDesktop implements { try { - Thread.sleep(3000); maxMemory = runtime.maxMemory() / 1048576f; allocatedMemory = runtime.totalMemory() / 1048576f; freeMemory = runtime.freeMemory() / 1048576f; @@ -1330,6 +1329,8 @@ public class Desktop extends jalview.jbgui.GDesktop implements // instance.set.setBorder(border1); } repaint(); + // sleep after we've informed the user + Thread.sleep(3000); } catch (Exception ex) { -- 1.7.10.2