X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FPaintRefresher.java;h=4a10099c0e51ef5b5b6e0df1ced158d0380a2984;hb=e894eb87d40be6e8452d19032ddffe80dad5f804;hp=9a220a4ea8e29f97295ac833b71013687c73b3ad;hpb=0f71bfca98457c30f1051f142c31b6aaa3e23ead;p=jalview.git

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