- Timestamp:
- 2010-08-11T21:28:34+12:00 (14 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
main/trunk/gli/src/org/greenstone/gatherer/gui/GUIManager.java
r19438 r22605 506 506 } 507 507 else { 508 Configuration.setString("general.open_collection"+Configuration.gliPropertyNameSuffix(), true, null); 508 // if there was no open collection, then write out the collect dir path for next time 509 Configuration.setString("general.open_collection"+Configuration.gliPropertyNameSuffix(), 510 true, Gatherer.getCollectDirectoryPath()); // null 509 511 } 510 512 … … 646 648 } 647 649 650 public void refreshWorkspaceTreeGreenstoneCollections() 651 { 652 refreshWorkspaceTree(WorkspaceTree.LIBRARY_CONTENTS_CHANGED); 653 } 648 654 649 655 /** Specifies whether a certain tab is enabled or not. */
Note:
See TracChangeset
for help on using the changeset viewer.