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

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

  public static void Register(Component c)
  {
    if(!components.contains(c))
      components.addElement(c);
    else
      components.removeElement(c);
  }

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

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

      temp.repaint();
    }

  }

}