Changeset 8253

Timestamp:

2004-10-08T14:49:47+13:00 (20 years ago)

Author:

mdewsnip

Message:

Moved some stuff out of Configuration.updateUI into GUIManager because it depends on the Gatherer.class. More to come.

Location:

trunk/gli/src/org/greenstone/gatherer

Files:

• Configuration.java (modified) (1 diff)
• collection/Collection.java (modified) (2 diffs)
• collection/CollectionManager.java (modified) (1 diff)
• gui/GUIManager.java (modified) (1 diff)

trunk/gli/src/org/greenstone/gatherer/Configuration.java

@@ -967 +967 @@
     UIManager.put("ScrollBar.background", new ColorUIResource(getColor("coloring.scrollbar_background", false)));
     UIManager.put("ScrollBar.thumb", new ColorUIResource(getColor("coloring.scrollbar_foreground", false)));
-    if (Gatherer.g_man != null) {
-        JPanel pane = (JPanel) Gatherer.g_man.getContentPane();
-        pane.updateUI();
-        // Also update all of the tabs according to workflow.
-        Gatherer.g_man.workflowUpdate("Mirror", get("workflow.mirror", false));
-        Gatherer.g_man.workflowUpdate("Gather", get("workflow.gather", false));
-        Gatherer.g_man.workflowUpdate("Enrich", get("workflow.enrich", false));
-        Gatherer.g_man.workflowUpdate("Design", get("workflow.design", false));
-        Gatherer.g_man.workflowUpdate("Export", get("workflow.export", false));
-        Gatherer.g_man.workflowUpdate("Create", get("workflow.create", false));
-    }
     }
 }

trunk/gli/src/org/greenstone/gatherer/collection/Collection.java

@@ -105 +105 @@
     // Point the Configuration class at our gatherer config arguments.
     Configuration.setCollectionConfiguration(document);
+    if (Gatherer.g_man != null) {
+        Gatherer.g_man.updateUI();
+    }
     // Finally create all of the child managers that are directly dependant on a collection
     build_options = new BuildOptions(getBuildValues(), getImportValues());
@@ -119 +122 @@
     msm.destroy();
     Configuration.setCollectionConfiguration(null);
+    if (Gatherer.g_man != null) {
+        Gatherer.g_man.updateUI();
+    }
     cdm = null;
     document = null;

trunk/gli/src/org/greenstone/gatherer/collection/CollectionManager.java

@@ -235 +235 @@
     Configuration.setCollectionConfiguration(null);
     if (Gatherer.g_man != null) {
+        Gatherer.g_man.updateUI();
         Gatherer.g_man.collectionChanged(false);
     }

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

@@ -889 +889 @@
     private MouseListener mouse_blocker_listener = new MouseAdapter() {};
 
+    public void updateUI()
+    {
+    JPanel pane = (JPanel) getContentPane();
+    pane.updateUI();
+    // Also update all of the tabs according to workflow.
+    workflowUpdate("Mirror", Configuration.get("workflow.mirror", false));
+    workflowUpdate("Gather", Configuration.get("workflow.gather", false));
+    workflowUpdate("Enrich", Configuration.get("workflow.enrich", false));
+    workflowUpdate("Design", Configuration.get("workflow.design", false));
+    workflowUpdate("Export", Configuration.get("workflow.export", false));
+    workflowUpdate("Create", Configuration.get("workflow.create", false));
+    }
+
     public void wait(boolean waiting) {
     Component glass_pane = getGlassPane();