Changeset 8353 for trunk/gli/src/org/greenstone/gatherer/gui/MenuBar.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/MenuBar.java (modified) (2 diffs)

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

@@ -256 +256 @@
     }
 
-    public void collectionChanged(boolean ready) {
-    file_close.setEnabled(ready);
-    file_save.setEnabled(ready);
-    }
-
     /** Once a quit has been requested by the user, prevent any further menu selections. */
     public void exit() {
@@ -266 +261 @@
     edit.setEnabled(false);
     help.setEnabled(false);
+    }
+
+    public void refresh(int refresh_reason, boolean ready)
+    {
+    file_close.setEnabled(ready);
+    file_save.setEnabled(ready);
     }