nullpointer bugfix (possibly not needed - was an error in closing of alignment panels)

diff --git a/src/jalview/gui/SequenceRenderer.java b/src/jalview/gui/SequenceRenderer.java
index c390041..1d49da8 100755 (executable)
--- a/src/jalview/gui/SequenceRenderer.java
+++ b/src/jalview/gui/SequenceRenderer.java
@@ -181,6 +181,7 @@ public class SequenceRenderer
   public synchronized void drawBoxes(SequenceI seq, int start, int end,
           int y1)
   {
+    if (seq==null) return; // fix for racecondition
     int i = start;
     int length = seq.getLength();