Changeset 7482 for trunk/gli/src/org/greenstone/gatherer/gui/GUIManager.java

Timestamp:

2004-05-27T17:12:03+12:00 (20 years ago)

Author:

mdewsnip

Message:

Some tidy ups in preparation for finalising the workspace and collection tree refreshing.

File:

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

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

@@ -91 +91 @@
     public MirrorPane mirror_pane = null;
     /** The gather pane is more like a file manager where you drag files from one tree to another. */
-    public GatherPane gather_pane = null;
+    private GatherPane gather_pane = null;
     /** The enrich pane is used to assign, edit and remove metadata from files within the collection. */
     public EnrichPane enrich_pane = null;
@@ -619 +619 @@
     }
 
-    public void refreshTrees(int refresh_reason)
+
+    public void refreshCollectionTree(int refresh_reason)
+    {
+    if (gather_pane != null) {
+        gather_pane.refreshCollectionTree(refresh_reason);
+    }
+    }
+
+
+    public void refreshWorkspaceTree(int refresh_reason)
     {
     if (gather_pane != null) {
         gather_pane.refreshWorkspaceTree(refresh_reason);
-        gather_pane.refreshCollectionTree(refresh_reason);
-    }
-    }
-
-    /** Allows the system to programatically set the selected tab.
-     * @param component The view you wish to make visable in the tab pane as a <strong>Component</strong>.
-     */
-    public void setSelectedView(Component component) {
-    tab_pane.setSelectedComponent(component);
-    }
+    }
+    }
+
+
+    /** Returns to some "initial" pane (when no collection is loaded) */
+    public void returnToInitialPane()
+    {
+    if (gather_pane != null) {
+        tab_pane.setSelectedComponent(gather_pane);
+    }
+    }
+
 
     /** Specifies whether a certain tab is enabled or not. */