Changeset 8231 for trunk/gli/src/org/greenstone/gatherer/gui/MenuBar.java

Timestamp:

2004-10-07T16:44:32+13:00 (20 years ago)

Author:

mdewsnip

Message:

Replaced all "Gatherer.config" with "Configuration".

File:

• trunk/gli/src/org/greenstone/gatherer/gui/MenuBar.java (modified) (2 diffs)

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

@@ -41 +41 @@
 import javax.swing.*;
 import javax.swing.event.*;
+import org.greenstone.gatherer.Configuration;
 import org.greenstone.gatherer.Dictionary;
 import org.greenstone.gatherer.Gatherer;
@@ -255 +256 @@
     help.add(help_general);
     help.add(new JSeparator());
-    if (Gatherer.config.get("workflow.browse", true)) {
+    if (Configuration.get("workflow.browse", true)) {
         help.add(help_browse);
     }
-    if (Gatherer.config.get("workflow.mirror", true)) {
+    if (Configuration.get("workflow.mirror", true)) {
         help.add(help_mirror);
     }
-    if (Gatherer.config.get("workflow.gather", true)) {
+    if (Configuration.get("workflow.gather", true)) {
         help.add(help_collect);
     }
-    if (Gatherer.config.get("workflow.enrich", true)) {
+    if (Configuration.get("workflow.enrich", true)) {
         help.add(help_metaedit);
     }
-    if (Gatherer.config.get("workflow.design", true)) {
+    if (Configuration.get("workflow.design", true)) {
         help.add(help_design);
     }
-    if (Gatherer.config.get("workflow.export", true)) {
+    if (Configuration.get("workflow.export", true)) {
         help.add(help_export);
     }
-    if (Gatherer.config.get("workflow.create", true)) {
+    if (Configuration.get("workflow.create", true)) {
         help.add(help_build);
     }
-    if (Gatherer.config.get("workflow.preview", true)) {
+    if (Configuration.get("workflow.preview", true)) {
         help.add(help_preview);
     }