src/jalview/appletgui/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.appletgui;\r
  21 \r
  22 import java.util.*;\r
  23 \r
  24 import java.awt.*;\r
  25 \r
  26 public class PaintRefresher\r
  27 {\r
  28   static Vector components = new Vector();\r
  29 \r
  30   public static void Register(Component c)\r
  31   {\r
  32     if (!components.contains(c))\r
  33     {\r
  34       components.addElement(c);\r
  35     }\r
  36     else\r
  37     {\r
  38       components.removeElement(c);\r
  39     }\r
  40   }\r
  41 \r
  42   public static void Refresh(Component c)\r
  43   {\r
  44     Component temp;\r
  45     Enumeration e = components.elements();\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
  63 \r
  64 }\r