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