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 package jalview.gui;\r
  20 \r
  21 import java.util.*;\r
  22 \r
  23 import java.awt.*;\r
  24 \r
  25 public class PaintRefresher\r
  26 {\r
  27   static Vector components = new Vector();\r
  28 \r
  29   public static void Register(Component c)\r
  30   {\r
  31     if (!components.contains(c))\r
  32     {\r
  33       components.add(c);\r
  34     }\r
  35     else\r
  36     {\r
  37       components.remove(c);\r
  38     }\r
  39   }\r
  40 \r
  41   public static void Refresh(Component c)\r
  42   {\r
  43     Component temp;\r
  44     Enumeration e = components.elements();\r
  45 \r
  46     while (e.hasMoreElements())\r
  47     {\r
  48       temp = (Component) e.nextElement();\r
  49 \r
  50       if (!temp.isValid())\r
  51       {\r
  52         components.removeElement(temp);\r
  53       }\r
  54       else if (temp == c)\r
  55       {\r
  56         continue;\r
  57       }\r
  58 \r
  59       temp.repaint();\r
  60     }\r
  61   }\r
  62 }\r