src/jalview/gui/PaintRefresher.java

   1 /*
   2  * Jalview - A Sequence Alignment Editor and Viewer
   3  * Copyright (C) 2006 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle
   4  *
   5  * This program is free software; you can redistribute it and/or
   6  * modify it under the terms of the GNU General Public License
   7  * as published by the Free Software Foundation; either version 2
   8  * of the License, or (at your option) any later version.
   9  *
  10  * This program is distributed in the hope that it will be useful,
  11  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  12  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  13  * GNU General Public License for more details.
  14  *
  15  * You should have received a copy of the GNU General Public License
  16  * along with this program; if not, write to the Free Software
  17  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA
  18  */
  19 package jalview.gui;
  20
  21 import jalview.datamodel.*;
  22
  23 import java.awt.*;
  24
  25 import java.util.*;
  26
  27
  28 /**
  29  * DOCUMENT ME!
  30  *
  31  * @author $author$
  32  * @version $Revision$
  33  */
  34 public class PaintRefresher
  35 {
  36     static Hashtable components = new Hashtable();
  37
  38     /**
  39      * DOCUMENT ME!
  40      *
  41      * @param comp DOCUMENT ME!
  42      * @param al DOCUMENT ME!
  43      */
  44     public static void Register(Component comp, AlignmentI al)
  45     {
  46         if (components.containsKey(al))
  47         {
  48             Vector comps = (Vector) components.get(al);
  49             comps.addElement(comp);
  50         }
  51         else
  52         {
  53             Vector vcoms = new Vector();
  54             vcoms.addElement(comp);
  55             components.put(al, vcoms);
  56         }
  57     }
  58
  59     /**
  60      * DOCUMENT ME!
  61      *
  62      * @param al DOCUMENT ME!
  63      */
  64     public static void Refresh(AlignmentI al)
  65     {
  66         Refresh(null, al);
  67     }
  68
  69     /**
  70      * DOCUMENT ME!
  71      *
  72      * @param c DOCUMENT ME!
  73      * @param al DOCUMENT ME!
  74      */
  75     public static void Refresh(Component c, AlignmentI al)
  76     {
  77         Component temp;
  78         Vector coms = (Vector) components.get(al);
  79         if(coms==null)
  80           return;
  81
  82         Enumeration e = coms.elements();
  83
  84         while (e.hasMoreElements())
  85         {
  86             temp = (Component) e.nextElement();
  87
  88             if (!temp.isValid())
  89             {
  90                 coms.removeElement(temp);
  91             }
  92             else if (temp == c)
  93             {
  94                 continue;
  95             }
  96             else
  97                 temp.repaint();
  98         }
  99     }
 100 }