X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=inline;f=src%2Fjalview%2Fappletgui%2FPaintRefresher.java;h=32507fe8b2098cbad8147ddd7e1f27e2b5e21d58;hb=28d2a0b7dde7f6751d9e063fc2e11da065d284a4;hp=889a7dbf1c45d50115c52f5ab0c2b191c866e3ff;hpb=79c8ec26a6dd87b23e94abd7cf9c5de8c139e721;p=jalview.git
diff --git a/src/jalview/appletgui/PaintRefresher.java b/src/jalview/appletgui/PaintRefresher.java
index 889a7db..32507fe 100755
--- a/src/jalview/appletgui/PaintRefresher.java
+++ b/src/jalview/appletgui/PaintRefresher.java
@@ -1,27 +1,34 @@
/*
- * Jalview - A Sequence Alignment Editor and Viewer (Version 2.6)
- * Copyright (C) 2010 J Procter, AM Waterhouse, G Barton, M Clamp, S Searle
+ * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
+ * Copyright (C) $$Year-Rel$$ The Jalview Authors
*
* 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.
- *
+ * 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
* 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 .
+ * You should have received a copy of the GNU General Public License
+ * along with Jalview. If not, see .
+ * The Jalview Authors are detailed in the 'AUTHORS' file.
*/
package jalview.appletgui;
-import java.util.*;
-
-import java.awt.*;
+import jalview.datamodel.AlignmentI;
+import jalview.datamodel.SequenceI;
-import jalview.datamodel.*;
+import java.awt.Component;
+import java.util.Enumeration;
+import java.util.Hashtable;
+import java.util.List;
+import java.util.Map;
+import java.util.Vector;
/**
* DOCUMENT ME!
@@ -31,7 +38,7 @@ import jalview.datamodel.*;
*/
public class PaintRefresher
{
- static Hashtable components;
+ static Map> components;
/**
* DOCUMENT ME!
@@ -45,12 +52,12 @@ public class PaintRefresher
{
if (components == null)
{
- components = new Hashtable();
+ components = new Hashtable>();
}
if (components.containsKey(seqSetId))
{
- Vector comps = (Vector) components.get(seqSetId);
+ Vector comps = components.get(seqSetId);
if (!comps.contains(comp))
{
comps.addElement(comp);
@@ -58,7 +65,7 @@ public class PaintRefresher
}
else
{
- Vector vcoms = new Vector();
+ Vector vcoms = new Vector<>();
vcoms.addElement(comp);
components.put(seqSetId, vcoms);
}
@@ -71,11 +78,9 @@ public class PaintRefresher
return;
}
- Enumeration en = components.keys();
- while (en.hasMoreElements())
+ for (String id : components.keySet())
{
- String id = en.nextElement().toString();
- Vector comps = (Vector) components.get(id);
+ Vector comps = components.get(id);
comps.removeElement(comp);
if (comps.size() == 0)
{
@@ -98,17 +103,17 @@ public class PaintRefresher
}
Component comp;
- Vector comps = (Vector) components.get(id);
+ Vector comps = components.get(id);
if (comps == null)
{
return;
}
- Enumeration e = comps.elements();
+ Enumeration e = comps.elements();
while (e.hasMoreElements())
{
- comp = (Component) e.nextElement();
+ comp = e.nextElement();
if (comp == source)
{
@@ -122,8 +127,8 @@ public class PaintRefresher
else 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)
@@ -183,7 +188,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 alsq;
+ synchronized (alsq = comp.getSequences())
+ {
+ alsq.add(i, a1[i]);
+ }
}
else
{
@@ -228,18 +239,19 @@ public class PaintRefresher
public static AlignmentPanel[] getAssociatedPanels(String id)
{
- Vector comps = (Vector) components.get(id);
- Vector tmp = new Vector();
+ Vector comps = 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)));
+ tmp.addElement(comps.elementAt(i));
}
}
AlignmentPanel[] result = new AlignmentPanel[tmp.size()];
- for (int ix=0;ix