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

Timestamp:

2003-09-24T16:09:13+12:00 (21 years ago)

Author:

mdewsnip

Message:

Further along the tooltip highway. Hacked up the Dictionary code, and are updating the classes to use the new code.

File:

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

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

@@ -75 +75 @@
 import org.greenstone.gatherer.msm.ElementWrapper;
 import org.greenstone.gatherer.msm.Metadata;
-import org.greenstone.gatherer.sarm.SearchAndReplace;
+// import org.greenstone.gatherer.sarm.SearchAndReplace;
 import org.greenstone.gatherer.shell.GShell;
 import org.greenstone.gatherer.util.TreeSynchronizer;
@@ -124 +124 @@
     private JTabbedPane tab_pane = null;
     /** A reference to any existing search and replace module/dialog. */
-    private SearchAndReplace sar = null;
+    // private SearchAndReplace sar = null;
     /** A threaded tab changer to try and avoid NPE on exit. */
     private TabUpdater tab_updater = null;
@@ -251 +251 @@
         }
     }
-    else if(esrc == menu_bar.edit_search) {
-        if(sar != null) {
-        sar.dispose();
-        }
-        sar = new SearchAndReplace(false);
-    }
-    else if(esrc == menu_bar.edit_replace) {
-        if(sar != null) {
-        sar.dispose();
-        }
-        sar = new SearchAndReplace(true);
-    }
+//      else if(esrc == menu_bar.edit_search) {
+//          if(sar != null) {
+//          sar.dispose();
+//          }
+//          sar = new SearchAndReplace(false);
+//      }
+//      else if(esrc == menu_bar.edit_replace) {
+//          if(sar != null) {
+//          sar.dispose();
+//          }
+//          sar = new SearchAndReplace(true);
+//      }
     // *************
     // Tools Options.