Formatted source
[jalview.git] / src / jalview / gui / PaintRefresher.java
index 12545af..6bec8fd 100755 (executable)
@@ -1,54 +1,62 @@
 /*\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
+ * 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
 package jalview.gui;\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.add(c);\r
+    }\r
     else\r
+    {\r
       components.remove(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
+\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
-\r
   }\r
-\r
 }\r