Changeset 6086 for trunk/gli/src/org/greenstone/gatherer/gui/tree/WorkspaceTree.java

Timestamp:

2003-12-02T17:15:47+13:00 (20 years ago)

Author:

jmt12

Message:

Moved the special folder 'shortcuts' from collection based to shared for the installation of gli. This caused some added fun when it turned out one of the workspace tree refreshes was blocking the AWTEvent thread, despite me putting tests in place to stop that from happening. It had never reared its ugly head before, as there were never any shortcut collections being mapped when a collection had been closed, or when GLI was exiting before.

File:

• trunk/gli/src/org/greenstone/gatherer/gui/tree/WorkspaceTree.java (modified) (5 diffs)

trunk/gli/src/org/greenstone/gatherer/gui/tree/WorkspaceTree.java

@@ -23 +23 @@
 
     public void refresh(int refresh_reason) {
-    System.err.print("WorkspaceTree::refresh()... ");
+    Gatherer.println("WorkspaceTree::refresh()... ");
 
     // The collections in the library have changed - refresh the collect directory
     if (refresh_reason == DragTree.LIBRARY_CONTENTS_CHANGED) {
-        System.err.println("Reason: library contents changed.");
+        Gatherer.println("...Reason: library contents changed.");
         String collect_directory_str = Gatherer.config.gsdl_path + Utility.COL_DIR;
         refreshEveryNodeShowingFolder(collect_directory_str);
@@ -35 +35 @@
     // A collection has been opened/closed - reload the whole shebang
     if (refresh_reason == DragTree.LOADED_COLLECTION_CHANGED) {
-        System.err.println("Reason: loaded collection changed.");
+        Gatherer.println("...Reason: loaded collection changed.");
         setModel(WorkspaceTreeModel.getWorkspaceTreeModel());
     }
@@ -41 +41 @@
     // The collection's contents have changed - refresh collection's import folder
     if (refresh_reason == DragTree.COLLECTION_CONTENTS_CHANGED) {
-        System.err.println("Reason: collection contents changed.");
+        Gatherer.println("...Reason: collection contents changed.");
         String import_directory_str = Gatherer.c_man.getCollectionImport();
         refreshEveryNodeShowingFolder(import_directory_str);
@@ -48 +48 @@
     // The method for displaying the tree has changed - redraw the tree
     if (refresh_reason == DragTree.TREE_DISPLAY_CHANGED) {
-        System.err.println("Reason: tree display changed.");
+        Gatherer.println("...Reason: tree display changed.");
         updateUI();
     }
@@ -54 +54 @@
     // The collection specific mapped directories have changed - refresh only them
     if (refresh_reason == WorkspaceTree.MAPPED_DIRECTORIES_CHANGED) {
-        System.err.println("Reason: mapped directories changed.");
+        Gatherer.println("...Reason: mapped directories changed.");
         WorkspaceTreeModel.refreshWebCacheMappings();
         WorkspaceTreeModel.refreshCollectionSpecificMappings();