package jalview.gui;
import java.awt.*;
import java.util.*;

public class PaintRefresher
{
  static Vector containers = new Vector();

  public static void Register(Container c)
  {
    if(!containers.contains(c))
      containers.add(c);
    else
      containers.remove(c);
  }

  public static void Refresh(Container c)
  {
    Container temp;
    Enumeration e = containers.elements();
    while( e.hasMoreElements() )
    {
      temp = (Container)e.nextElement();

      if(!temp.isValid())
        containers.removeElement( temp );
      else if( temp == c )
           continue;

      temp.repaint();
    }

  }

}