5 public class PaintRefresher
\r
7 static Vector containers = new Vector();
\r
9 public static void Register(Container c)
\r
11 if(!containers.contains(c))
\r
14 containers.remove(c);
\r
17 public static void Refresh(Container c)
\r
20 Enumeration e = containers.elements();
\r
21 while( e.hasMoreElements() )
\r
23 temp = (Container)e.nextElement();
\r
26 containers.removeElement( temp );
\r
27 else if( temp == c )
\r