Changeset 12469

Timestamp:

2006-08-18T09:38:02+12:00 (18 years ago)

Author:

shaoqun

Message:

make the set default button work properly

File:

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

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

@@ -44 +44 @@
 import org.greenstone.gatherer.util.CheckList;
 import org.greenstone.gatherer.util.JarTools;
+import org.greenstone.gatherer.util.XMLTools;
 import org.greenstone.gatherer.util.StaticStrings;
 import org.w3c.dom.*;
@@ -71 +72 @@
     DebugStream.println("IndexManager: " + getSize() + " indexes parsed.");
     index_model = this;
-
+      
+       
     // Parse and retrieve the default index
     NodeList default_index_elements = CollectionDesignManager.collect_config.getDocumentElement().getElementsByTagName(CollectionConfiguration.INDEX_DEFAULT_ELEMENT);
     if(default_index_elements.getLength() > 0) {
+                 
         default_index = new Index((Element)default_index_elements.item(0));
     }
@@ -400 +403 @@
         if(default_index == null) {
         // Create the default index element, and place immediately after indexes element.
-        Element default_index_element = root.getOwnerDocument().createElement(CollectionConfiguration.INDEX_DEFAULT_ELEMENT);
+        Element default_index_element = root.getOwnerDocument().createElement(CollectionConfiguration.INDEX_DEFAULT_ELEMENT);               
         default_index = new Index(default_index_element);
         Node target_node = CollectionConfiguration.findInsertionPoint(default_index_element);
@@ -421 +424 @@
     }
     Gatherer.c_man.configurationChanged();
+               
     }
 
@@ -520 +524 @@
         }
         
+                set_default_button.setEnabled(true);
         Object value = index_list.getSelectedValue();
         if (value == null) {