From 72f01888e4bf89e7359dbe60201432b0b06ac9ed Mon Sep 17 00:00:00 2001 From: jprocter Date: Fri, 21 Aug 2009 11:11:15 +0000 Subject: [PATCH] race condition null pointer bugfix --- src/jalview/gui/Desktop.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index 1b24694..74a46f7 100755 --- a/src/jalview/gui/Desktop.java +++ b/src/jalview/gui/Desktop.java @@ -1533,7 +1533,7 @@ public class Desktop extends jalview.jbgui.GDesktop implements public void paintComponent(Graphics g) { - if (showMemoryUsage) + if (showMemoryUsage && g!=null) { if (percentUsage < 20) g.setColor(Color.red); -- 1.7.10.2