* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA\r
*/\r
\r
-package jalview.appletgui;\r
\r
-import java.util.*;\r
+\r
+package jalview.appletgui;\r
\r
import java.awt.*;\r
+import java.util.*;\r
+import jalview.datamodel.*;\r
\r
public class PaintRefresher\r
{\r
- static Vector components = new Vector();\r
+ static Hashtable components = new Hashtable();\r
\r
- public static void Register(Component c)\r
+ public static void Register(Component comp, AlignmentI al)\r
{\r
- if (!components.contains(c))\r
+ if(components.containsKey(al))\r
{\r
- components.addElement(c);\r
+ Vector comps = (Vector)components.get(al);\r
+ comps.addElement(comp);\r
}\r
else\r
{\r
- components.removeElement(c);\r
+ Vector vcoms = new Vector();\r
+ vcoms.addElement(comp);\r
+ components.put(al, vcoms);\r
}\r
}\r
\r
- public static void Refresh(Component c)\r
+ public static void Refresh(AlignmentI al)\r
+ {\r
+ Refresh(null, al);\r
+ }\r
+\r
+ public static void Refresh(Component c, AlignmentI al)\r
{\r
Component temp;\r
- Enumeration e = components.elements();\r
- while (e.hasMoreElements())\r
+ Vector coms = (Vector)components.get(al);\r
+ Enumeration e = coms.elements();\r
+ while( e.hasMoreElements() )\r
{\r
- temp = (Component) e.nextElement();\r
+ temp = (Component)e.nextElement();\r
\r
- if (!temp.isValid())\r
- {\r
- components.removeElement(temp);\r
- }\r
- else if (temp == c)\r
- {\r
+ if(!temp.isValid())\r
+ coms.removeElement( temp );\r
+ else if( temp == c )\r
continue;\r
- }\r
-\r
- temp.repaint();\r
+ else\r
+ temp.repaint();\r
}\r
\r
}\r
\r
}\r
+\r