From: amwaterhouse <Andrew Waterhouse>
Date: Tue, 3 May 2005 12:47:18 +0000 (+0000)
Subject: change Container to Component
X-Git-Tag: Release_2_0~336
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=24346c8216b30429855911e575efeb888ff0fcfa;p=jalview.git

change Container to Component
---

diff --git a/src/jalview/gui/PaintRefresher.java b/src/jalview/gui/PaintRefresher.java
index 051721b..c60e29a 100755
--- a/src/jalview/gui/PaintRefresher.java
+++ b/src/jalview/gui/PaintRefresher.java
@@ -4,26 +4,26 @@ import java.util.*;
 
 public class PaintRefresher
 {
-  static Vector containers = new Vector();
+  static Vector components = new Vector();
 
-  public static void Register(Container c)
+  public static void Register(Component c)
   {
-    if(!containers.contains(c))
-      containers.add(c);
+    if(!components.contains(c))
+      components.add(c);
     else
-      containers.remove(c);
+      components.remove(c);
   }
 
-  public static void Refresh(Container c)
+  public static void Refresh(Component c)
   {
-    Container temp;
-    Enumeration e = containers.elements();
+    Component temp;
+    Enumeration e = components.elements();
     while( e.hasMoreElements() )
     {
-      temp = (Container)e.nextElement();
+      temp = (Component)e.nextElement();
 
       if(!temp.isValid())
-        containers.removeElement( temp );
+        components.removeElement( temp );
       else if( temp == c )
            continue;