Changeset 10264
- Timestamp:
- 2005-07-22T16:21:19+12:00 (19 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/GUIManager.java
r10239 r10264 58 58 import org.greenstone.gatherer.gui.metaaudit.MetaAuditFrame; 59 59 import org.greenstone.gatherer.gui.tree.DragTree; 60 import org.greenstone.gatherer.remote.RemoteGreenstoneServer; 60 61 import org.greenstone.gatherer.util.JarTools; 61 62 import org.greenstone.gatherer.util.StaticStrings; … … 182 183 } 183 184 else if (esrc == menu_bar.file_open) { 185 // If using a remote Greenstone server, download the collection configurations 186 if (Gatherer.isGsdlRemote) { 187 RemoteGreenstoneServer.downloadCollectionConfigurations(); 188 } 189 184 190 String collection_file_path = showOpenCollectionDialog(); 185 191
Note:
See TracChangeset
for help on using the changeset viewer.