git://source.jalview.org
/
jalview.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
b5dceea
)
change Container to Component
author
amwaterhouse
<Andrew Waterhouse>
Tue, 3 May 2005 12:47:18 +0000
(12:47 +0000)
committer
amwaterhouse
<Andrew Waterhouse>
Tue, 3 May 2005 12:47:18 +0000
(12:47 +0000)
src/jalview/gui/PaintRefresher.java
patch
|
blob
|
history
diff --git
a/src/jalview/gui/PaintRefresher.java
b/src/jalview/gui/PaintRefresher.java
index
051721b
..
c60e29a
100755
(executable)
--- a/
src/jalview/gui/PaintRefresher.java
+++ b/
src/jalview/gui/PaintRefresher.java
@@
-4,26
+4,26
@@
import java.util.*;
\r
public class PaintRefresher
\r
{
\r
\r
public class PaintRefresher
\r
{
\r
- static Vector containers = new Vector();
\r
+ static Vector components = new Vector();
\r
\r
\r
- public static void Register(Container c)
\r
+ public static void Register(Component c)
\r
{
\r
{
\r
- if(!containers.contains(c))
\r
- containers.add(c);
\r
+ if(!components.contains(c))
\r
+ components.add(c);
\r
else
\r
else
\r
- containers.remove(c);
\r
+ components.remove(c);
\r
}
\r
\r
}
\r
\r
- public static void Refresh(Container c)
\r
+ public static void Refresh(Component c)
\r
{
\r
{
\r
- Container temp;
\r
- Enumeration e = containers.elements();
\r
+ Component temp;
\r
+ Enumeration e = components.elements();
\r
while( e.hasMoreElements() )
\r
{
\r
while( e.hasMoreElements() )
\r
{
\r
- temp = (Container)e.nextElement();
\r
+ temp = (Component)e.nextElement();
\r
\r
if(!temp.isValid())
\r
\r
if(!temp.isValid())
\r
- containers.removeElement( temp );
\r
+ components.removeElement( temp );
\r
else if( temp == c )
\r
continue;
\r
\r
else if( temp == c )
\r
continue;
\r
\r