Changeset 8353 for trunk/gli/src/org/greenstone/gatherer/gui/MirrorPane.java

Timestamp:

2004-10-18T11:50:18+13:00 (20 years ago)

Author:

mdewsnip

Message:

Changed the collectionChanged() functions to refresh(), and added an extra parameter for more control over refreshing.

File:

• trunk/gli/src/org/greenstone/gatherer/gui/MirrorPane.java (modified) (3 diffs)

trunk/gli/src/org/greenstone/gatherer/gui/MirrorPane.java

@@ -198 +198 @@
     }
 
-    public void collectionChanged(boolean ready) {
-    }
 
     /** This method is called whenever the Mirror pane is brought into focus and is a good time to display a warning message if WGet is not available or of an older, problematic, version.
@@ -240 +238 @@
     if (current_mode >= THRESHOLD) {
         options_pane.add(requisite_checkbox);
-    } else {
+    }
+    else {
         options_pane.remove(requisite_checkbox);
         requisite_checkbox.setSelected(false);
     }
-    
+    }
+
+
+    public void refresh(int refresh_reason, boolean ready)
+    {
     }
 
@@ -386 +389 @@
     }
     }
-
-
 }