Changeset 19225

Show
Ignore:
Timestamp:
23.04.2009 14:30:16 (10 years ago)
Author:
kjdon
Message:

made the GLI title display teh qualified collection name

Location:
gli/trunk/src/org/greenstone/gatherer
Files:
2 modified

Legend:

Unmodified
Added
Removed
  • gli/trunk/src/org/greenstone/gatherer/cdm/GeneralManager.java

    r18412 r19225  
    441441        // Set the title 
    442442        String collection_title = name_textfield.getText(); 
    443         String collection_name = CollectionManager.getLoadedCollectionName(); 
     443        String collection_name = CollectionManager.getLoadedGroupQualifiedCollectionName(true); 
    444444        Gatherer.g_man.setTitle(collection_title, collection_name); 
    445                 collection_name_collectionmeta.setValue(name_textfield.getText()); 
     445                collection_name_collectionmeta.setValue(collection_title); 
    446446        collection_title = null; 
    447447        collection_name = null; 
  • gli/trunk/src/org/greenstone/gatherer/gui/GUIManager.java

    r18370 r19225  
    331331    content_pane = (JPanel) this.getContentPane(); 
    332332        content_pane.setComponentOrientation(Dictionary.getOrientation()); 
    333          
     333 
    334334    // Enable window-type events to be fired. 
    335335    enableEvents(AWTEvent.WINDOW_EVENT_MASK); 
     
    344344        Collection collection = Gatherer.c_man.getCollection(); 
    345345        collection_title = collection.getTitle(); 
    346         collection_name = collection.getName(); 
     346        collection_name = collection.getGroupQualifiedName(true); 
    347347        collection = null; 
    348348        } 
     
    538538        Collection collection = Gatherer.c_man.getCollection(); 
    539539        collection_title = collection.getTitle(); 
    540         collection_name = collection.getName(); 
     540        collection_name = collection.getGroupQualifiedName(true); 
    541541        collection = null; 
    542542    } 
     
    571571    if (collection_loaded) { 
    572572        Collection collection = Gatherer.c_man.getCollection(); 
    573         setTitle(collection.getTitle(), collection.getName()); 
     573        setTitle(collection.getTitle(), collection.getGroupQualifiedName(true)); 
    574574    } 
    575575    else { 
     
    666666     */ 
    667667    public void setTitle(String title, String name) { 
     668       
    668669    // Finally display the collection name in the title bar. 
    669670    StringBuffer title_buffer = new StringBuffer(Configuration.getApplicationTitle());