src/jalview/gui/PaintRefresher.java

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