Changeset 19225 for gli/trunk/src/org/greenstone/gatherer/gui
- Timestamp:
- 2009-04-23T14:30:16+12:00 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
gli/trunk/src/org/greenstone/gatherer/gui/GUIManager.java
r18370 r19225 331 331 content_pane = (JPanel) this.getContentPane(); 332 332 content_pane.setComponentOrientation(Dictionary.getOrientation()); 333 333 334 334 // Enable window-type events to be fired. 335 335 enableEvents(AWTEvent.WINDOW_EVENT_MASK); … … 344 344 Collection collection = Gatherer.c_man.getCollection(); 345 345 collection_title = collection.getTitle(); 346 collection_name = collection.get Name();346 collection_name = collection.getGroupQualifiedName(true); 347 347 collection = null; 348 348 } … … 538 538 Collection collection = Gatherer.c_man.getCollection(); 539 539 collection_title = collection.getTitle(); 540 collection_name = collection.get Name();540 collection_name = collection.getGroupQualifiedName(true); 541 541 collection = null; 542 542 } … … 571 571 if (collection_loaded) { 572 572 Collection collection = Gatherer.c_man.getCollection(); 573 setTitle(collection.getTitle(), collection.get Name());573 setTitle(collection.getTitle(), collection.getGroupQualifiedName(true)); 574 574 } 575 575 else { … … 666 666 */ 667 667 public void setTitle(String title, String name) { 668 668 669 // Finally display the collection name in the title bar. 669 670 StringBuffer title_buffer = new StringBuffer(Configuration.getApplicationTitle());
Note:
See TracChangeset
for help on using the changeset viewer.