Changeset 10530 for trunk/gli/src/org/greenstone/gatherer/cdm
- Timestamp:
- 2005-08-19T11:36:46+12:00 (19 years ago)
- Location:
- trunk/gli/src/org/greenstone/gatherer/cdm
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/cdm/CollectionDesignManager.java
r10454 r10530 133 133 134 134 searchtype_manager = new SearchTypeManager(collect_config.getSearchType()); 135 if(searchtype_manager.isMGPPEnabled()) { 135 if(searchtype_manager.isSearchTypeEnabled()) { 136 // note this this could be lucene now, the format is the same as for mgpp 136 137 index_manager = new IndexManager(collect_config.getMGPPIndexes()); 137 138 } -
trunk/gli/src/org/greenstone/gatherer/cdm/IndexManager.java
r10237 r10530 200 200 } 201 201 202 202 public int getNumLevels() { 203 return levels_model.getSize(); 204 } 203 205 private void moveIndex(Index index, boolean move_up) 204 206 { … … 708 710 709 711 public void gainFocus() { 710 boolean mgpp_enabled = CollectionDesignManager.searchtype_manager.is MGPPEnabled();712 boolean mgpp_enabled = CollectionDesignManager.searchtype_manager.isSearchTypeEnabled(); 711 713 if(instruction_textarea != null) { 712 714 instruction_textarea.setCaretPosition(0);
Note:
See TracChangeset
for help on using the changeset viewer.