X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FPaintRefresher.java;h=7cd5affb4a82a0ada93883194e82a1b22ccd9d7d;hb=8a3c31b03ed98321d1d450b658d26d50a7aa0ae6;hp=25e529b87cd6fca382b131f304ec28e0f0e7439a;hpb=d053a3c980cf4318b9a19a255f9fc870e74de989;p=jalview.git

diff --git a/src/jalview/appletgui/PaintRefresher.java b/src/jalview/appletgui/PaintRefresher.java
index 25e529b..7cd5aff 100755
--- a/src/jalview/appletgui/PaintRefresher.java
+++ b/src/jalview/appletgui/PaintRefresher.java
@@ -1,13 +1,13 @@
 /*
- * Jalview - A Sequence Alignment Editor and Viewer (Version 2.7)
- * Copyright (C) 2011 J Procter, AM Waterhouse, J Engelhardt, LM Lui, G Barton, M Clamp, S Searle
+ * Jalview - A Sequence Alignment Editor and Viewer (Version 2.8)
+ * Copyright (C) 2012 J Procter, AM Waterhouse, LM Lui, J Engelhardt, 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 
  * 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 
@@ -18,6 +18,7 @@
 package jalview.appletgui;
 
 import java.util.*;
+import java.util.List;
 
 import java.awt.*;
 
@@ -183,7 +184,13 @@ 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
+          List<SequenceI> alsq;
+          synchronized (alsq = comp.getSequences())
+          {
+            alsq.add(i, a1[i]);
+          }
         }
         else
         {
@@ -235,11 +242,12 @@ 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()];
-    for (int ix=0;ix<result.length;ix++) {
+    for (int ix = 0; ix < result.length; ix++)
+    {
       result[ix] = (AlignmentPanel) tmp.elementAt(ix);
     }