X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FPaintRefresher.java;h=41a0da9d190dc76668cabde961c03857c495387a;hb=c9cb2ef932ff18d9f0b7318df8b622e7d665f9ef;hp=058dbc05716f5660a8446244590cfd2e58c30435;hpb=d423f22792e47dbc800ae220a58677f988971d06;p=jalview.git diff --git a/src/jalview/gui/PaintRefresher.java b/src/jalview/gui/PaintRefresher.java index 058dbc0..41a0da9 100755 --- a/src/jalview/gui/PaintRefresher.java +++ b/src/jalview/gui/PaintRefresher.java @@ -1,6 +1,6 @@ /* - * Jalview - A Sequence Alignment Editor and Viewer (Version 2.5) - * Copyright (C) 2010 J Procter, AM Waterhouse, G Barton, M Clamp, S Searle + * Jalview - A Sequence Alignment Editor and Viewer (Version 2.7) + * Copyright (C) 2011 J Procter, AM Waterhouse, G Barton, M Clamp, S Searle * * This file is part of Jalview. * @@ -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++)