From a270e14aaf1c4f297791a027ae5c5024aede0b74 Mon Sep 17 00:00:00 2001 From: jprocter Date: Fri, 18 Feb 2011 17:18:57 +0000 Subject: [PATCH] avoid exceptions for orphaned windows --- src/jalview/gui/PaintRefresher.java | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/jalview/gui/PaintRefresher.java b/src/jalview/gui/PaintRefresher.java index f974f0a..0a1c9f3 100755 --- a/src/jalview/gui/PaintRefresher.java +++ b/src/jalview/gui/PaintRefresher.java @@ -224,7 +224,9 @@ public class PaintRefresher static AlignmentPanel[] getAssociatedPanels(String id) { + if (components==null) { return new AlignmentPanel[0]; }; Vector comps = (Vector) components.get(id); + if (comps==null) { return new AlignmentPanel[0]; }; Vector tmp = new Vector(); int i, iSize = comps.size(); for (i = 0; i < iSize; i++) -- 1.7.10.2