Ignore:
Timestamp:
2005-08-19T11:36:46+12:00 (19 years ago)
Author:
kjdon
Message:

modified to use new searchtypemanager isSearchTypeEnabled instead of isMGPPEnabled

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  
    133133
    134134    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
    136137        index_manager = new IndexManager(collect_config.getMGPPIndexes());
    137138    }
  • trunk/gli/src/org/greenstone/gatherer/cdm/IndexManager.java

    r10237 r10530  
    200200    }
    201201
    202 
     202    public int getNumLevels() {
     203    return levels_model.getSize();
     204    }
    203205    private void moveIndex(Index index, boolean move_up)
    204206    {
     
    708710
    709711    public void gainFocus() {
    710         boolean mgpp_enabled = CollectionDesignManager.searchtype_manager.isMGPPEnabled();
     712        boolean mgpp_enabled = CollectionDesignManager.searchtype_manager.isSearchTypeEnabled();
    711713        if(instruction_textarea != null) {
    712714        instruction_textarea.setCaretPosition(0);
Note: See TracChangeset for help on using the changeset viewer.