Changeset 10530 for trunk/gli/src/org/greenstone/gatherer/cdm/IndexManager.java

Timestamp:

2005-08-19T11:36:46+12:00 (19 years ago)

Author:

kjdon

Message:

modified to use new searchtypemanager isSearchTypeEnabled instead of isMGPPEnabled

File:

• trunk/gli/src/org/greenstone/gatherer/cdm/IndexManager.java (modified) (2 diffs)

trunk/gli/src/org/greenstone/gatherer/cdm/IndexManager.java

@@ -200 +200 @@
     }
 
-
+    public int getNumLevels() {
+    return levels_model.getSize();
+    }
     private void moveIndex(Index index, boolean move_up)
     {
@@ -708 +710 @@
 
     public void gainFocus() {
-        boolean mgpp_enabled = CollectionDesignManager.searchtype_manager.isMGPPEnabled();
+        boolean mgpp_enabled = CollectionDesignManager.searchtype_manager.isSearchTypeEnabled();
         if(instruction_textarea != null) {
         instruction_textarea.setCaretPosition(0);