- Timestamp:
- 2008-12-15T09:24:03+13:00 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
gli/trunk/src/org/greenstone/gatherer/gui/GUIManager.java
r17916 r18199 60 60 import org.greenstone.gatherer.gui.tree.DragTree; 61 61 import org.greenstone.gatherer.metadata.MetadataSet; 62 import org.greenstone.gatherer.metadata.MetadataXMLFileManager; 62 63 import org.greenstone.gatherer.remote.RemoteGreenstoneServer; 63 64 import org.greenstone.gatherer.util.JarTools; … … 203 204 } 204 205 else if (esrc == menu_bar.file_save) { 205 Gatherer.c_man.saveCollection(); 206 // Very important: make sure metadata values are saved too 207 enrich_pane.stopEditingAndRebuild(); 208 // Make sure all the metadata has been saved to file 209 MetadataXMLFileManager.saveMetadataXMLFiles(); 210 211 Gatherer.c_man.saveCollection(); 206 212 } 207 213
Note:
See TracChangeset
for help on using the changeset viewer.