Changeset 8343

Timestamp:

2004-10-15T12:11:09+13:00 (20 years ago)

Author:

mdewsnip

Message:

Made some annoying debug statements go to DebugStream instead of System.err.

File:

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

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

@@ -188 +188 @@
     }
     else if(esrc == menu_bar.file_exit) {
-        System.err.println("*** menu bar file exit called");
         exit();
     }
@@ -462 +461 @@
     public void exit() {
     // Tell everyone who cares that they are losing focus
-    System.err.println("**** GUIManager exit called!");
+    DebugStream.println("**** GUIManager exit called!");
 
     if(!Gatherer.c_man.ready() || design_pane.canSave()) {
@@ -484 +483 @@
             help = null;
             }
-            System.err.println("**** Calling Gatherer.self.exit");
+            DebugStream.println("**** Calling Gatherer.self.exit");
             Gatherer.self.exit();
         }