+/*\r
+ * Jalview - A Sequence Alignment Editor and Viewer\r
+ * Copyright (C) 2005 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle\r
+ *\r
+ * This program is free software; you can redistribute it and/or\r
+ * modify it under the terms of the GNU General Public License\r
+ * as published by the Free Software Foundation; either version 2\r
+ * of the License, or (at your option) any later version.\r
+ *\r
+ * This program is distributed in the hope that it will be useful,\r
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of\r
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the\r
+ * GNU General Public License for more details.\r
+ *\r
+ * You should have received a copy of the GNU General Public License\r
+ * along with this program; if not, write to the Free Software\r
+ * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA\r
+ */\r
+\r
package jalview.appletgui;\r
-import java.awt.*;\r
+\r
import java.util.*;\r
\r
+import java.awt.*;\r
+\r
public class PaintRefresher\r
{\r
static Vector components = new Vector();\r
\r
public static void Register(Component c)\r
{\r
- if(!components.contains(c))\r
+ if (!components.contains(c))\r
+ {\r
components.addElement(c);\r
+ }\r
else\r
+ {\r
components.removeElement(c);\r
+ }\r
}\r
\r
public static void Refresh(Component c)\r
{\r
Component temp;\r
Enumeration e = components.elements();\r
- while( e.hasMoreElements() )\r
+ while (e.hasMoreElements())\r
{\r
- temp = (Component)e.nextElement();\r
+ temp = (Component) e.nextElement();\r
\r
- if(!temp.isValid())\r
- components.removeElement( temp );\r
- else if( temp == c )\r
- continue;\r
+ if (!temp.isValid())\r
+ {\r
+ components.removeElement(temp);\r
+ }\r
+ else if (temp == c)\r
+ {\r
+ continue;\r
+ }\r
\r
temp.repaint();\r
}\r