X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FPaintRefresher.java;h=91a0978eacd4691272c1a1401e51a730aa34379b;hb=7796bc87c98b21f199f9dc195401223984619091;hp=41a0da9d190dc76668cabde961c03857c495387a;hpb=a45774ee31d9f35d4eff46d54d7deab719afb092;p=jalview.git diff --git a/src/jalview/gui/PaintRefresher.java b/src/jalview/gui/PaintRefresher.java index 41a0da9..91a0978 100755 --- a/src/jalview/gui/PaintRefresher.java +++ b/src/jalview/gui/PaintRefresher.java @@ -1,23 +1,24 @@ /* * Jalview - A Sequence Alignment Editor and Viewer (Version 2.7) - * Copyright (C) 2011 J Procter, AM Waterhouse, G Barton, M Clamp, S Searle - * + * Copyright (C) 2011 J Procter, AM Waterhouse, J Engelhardt, LM Lui, G Barton, M Clamp, S Searle + * * This file is part of Jalview. - * + * * Jalview is free software: you can redistribute it and/or - * modify it under the terms of the GNU General Public License + * modify it under the terms of the GNU General Public License * as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. - * - * Jalview is distributed in the hope that it will be useful, but - * WITHOUT ANY WARRANTY; without even the implied warranty - * of MERCHANTABILITY or FITNESS FOR A PARTICULAR + * + * Jalview is distributed in the hope that it will be useful, but + * WITHOUT ANY WARRANTY; without even the implied warranty + * of MERCHANTABILITY or FITNESS FOR A PARTICULAR * PURPOSE. See the GNU General Public License for more details. - * + * * You should have received a copy of the GNU General Public License along with Jalview. If not, see . */ package jalview.gui; import java.util.*; +import java.util.List; import java.awt.*; @@ -25,7 +26,7 @@ import jalview.datamodel.*; /** * DOCUMENT ME! - * + * * @author $author$ * @version $Revision$ */ @@ -35,7 +36,7 @@ public class PaintRefresher /** * DOCUMENT ME! - * + * * @param comp * DOCUMENT ME! * @param al @@ -118,8 +119,8 @@ public class PaintRefresher if (validateSequences && comp instanceof AlignmentPanel && source instanceof AlignmentPanel) { - validateSequences(((AlignmentPanel) source).av.alignment, - ((AlignmentPanel) comp).av.alignment); + validateSequences(((AlignmentPanel) source).av.getAlignment(), + ((AlignmentPanel) comp).av.getAlignment()); } if (comp instanceof AlignmentPanel && alignmentChanged) @@ -179,7 +180,16 @@ public class PaintRefresher { if (i < comp.getHeight()) { - comp.getSequences().insertElementAt(a1[i], i); + // TODO: the following does not trigger any recalculation of height/etc, or maintain the dataset + if (comp.getDataset()!=source.getDataset()) + { + // raise an implementation warning here - not sure if this situation will ever occur + System.err.println("IMPLEMENTATION PROBLEM: DATASET out of sync due to an insert whilst calling PaintRefresher.validateSequences(AlignmentI, ALignmentI)"); + } + List alsq; + synchronized (alsq=comp.getSequences()) { + alsq.add(i, a1[i]); + } } else { @@ -233,7 +243,7 @@ public class PaintRefresher { if (comps.elementAt(i) instanceof AlignmentPanel) { - tmp.addElement(((AlignmentPanel) comps.elementAt(i))); + tmp.addElement(comps.elementAt(i)); } } AlignmentPanel[] result = new AlignmentPanel[tmp.size()];