1 package jalview.appletgui;
\r
5 public class PaintRefresher
\r
7 static Vector components = new Vector();
\r
9 public static void Register(Component c)
\r
11 if(!components.contains(c))
\r
12 components.addElement(c);
\r
14 components.removeElement(c);
\r
17 public static void Refresh(Component c)
\r
20 Enumeration e = components.elements();
\r
21 while( e.hasMoreElements() )
\r
23 temp = (Component)e.nextElement();
\r
26 components.removeElement( temp );
\r
27 else if( temp == c )
\r