Changeset 5715 for trunk

Timestamp:

2003-10-23T10:55:15+13:00 (21 years ago)

Author:

jmt12

Message:

Updated the names of some of the tabs (ie MetaEdit -> Enrich)

File:

• trunk/gli/src/org/greenstone/gatherer/gui/Preferences.java (modified) (1 diff)

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

@@ -450 +450 @@
         Gatherer.config.set("workflow.create", false, workflow_create.isSelected());
         Gatherer.config.set("workflow.preview", false, workflow_preview.isSelected());
-        Gatherer.g_man.workflowUpdate("Browser", workflow_browse.isSelected());
-        Gatherer.g_man.workflowUpdate("Mirroring", workflow_mirror.isSelected());
-        Gatherer.g_man.workflowUpdate("Collection", workflow_gather.isSelected());
-        Gatherer.g_man.workflowUpdate("MetaEdit", workflow_enrich.isSelected());
-        Gatherer.g_man.workflowUpdate("Build", workflow_design.isSelected());
+        Gatherer.g_man.workflowUpdate("Hunt", workflow_browse.isSelected());
+        Gatherer.g_man.workflowUpdate("Mirror", workflow_mirror.isSelected());
+        Gatherer.g_man.workflowUpdate("Gather", workflow_gather.isSelected());
+        Gatherer.g_man.workflowUpdate("Enrich", workflow_enrich.isSelected());
+        Gatherer.g_man.workflowUpdate("Design", workflow_design.isSelected());
         Gatherer.g_man.workflowUpdate("Export", workflow_export.isSelected());
         Gatherer.g_man.workflowUpdate("Create", workflow_create.isSelected());