X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FPaintRefresher.java;h=d28372050437191eada0e656bc64ea428e95eaf1;hb=2e699d341f8e64868e3c279f9c02af617c4e9b44;hp=de1d5d847c165f7027071c5647d374bc71765af1;hpb=6e52c3f5f6679026d2adccab3dc15e90faebf8f7;p=jalview.git diff --git a/src/jalview/gui/PaintRefresher.java b/src/jalview/gui/PaintRefresher.java index de1d5d8..d283720 100755 --- a/src/jalview/gui/PaintRefresher.java +++ b/src/jalview/gui/PaintRefresher.java @@ -111,11 +111,7 @@ public class PaintRefresher continue; } - if (!comp.isValid()) - { - comps.removeElement(comp); - } - else if(validateSequences + if(validateSequences && comp instanceof AlignmentPanel && source instanceof AlignmentPanel ) { @@ -200,4 +196,23 @@ public class PaintRefresher } } } + + static AlignmentPanel [] getAssociatedPanels(String id) + { + Vector comps = (Vector)components.get(id); + Vector tmp = new Vector(); + int i, iSize = comps.size(); + for (i = 0; i < iSize; i++) + { + if (comps.elementAt(i) instanceof AlignmentPanel) + { + tmp.addElement(((AlignmentPanel)comps.elementAt(i))); + } + } + AlignmentPanel [] result = new AlignmentPanel[tmp.size()]; + tmp.toArray(result); + + return result; + } + }