- Timestamp:
- 2010-09-01T16:20:27+12:00 (14 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
main/trunk/gli/src/org/greenstone/gatherer/gui/Preferences.java
r22605 r22831 863 863 Configuration.setSiteAndServlet(new_site, (String)servlet_combobox.getSelectedItem()); 864 864 } 865 866 // collect directory change 867 String newCollectPath = collect_dir_field.getText(); 868 if(!newCollectPath.endsWith(File.separator)) { 869 newCollectPath += File.separator; 870 } 871 Gatherer.collectDirectoryHasChanged(Gatherer.getCollectDirectoryPath(), newCollectPath); 872 // will tell the server that the collect directory has changed and that 873 // the workspace needs to be refreshed (Documents in Greenstone Collections) 874 875 865 876 866 Configuration.set("general.use_proxy", true, use_proxy_checkbox.isSelected()); 877 867 Configuration.setString("general.proxy_host", true, proxy_host_field.getText()); … … 984 974 } 985 975 976 // collect directory change 977 String newCollectPath = collect_dir_field.getText(); 978 if(!newCollectPath.endsWith(File.separator)) { 979 newCollectPath += File.separator; 980 } 981 // wait cursor will display while changing the collect directory, need to work out what component to 982 // display it on: main GLI frame or Preferences window, depending on if OK or Apply was pressed 983 Container container = close ? Gatherer.g_man.getContentPane() : Preferences.this.getContentPane(); 984 Gatherer.collectDirectoryHasChanged(Gatherer.getCollectDirectoryPath(), 985 newCollectPath, container); 986 // will tell the server that the collect directory has changed and that 987 // the workspace needs to be refreshed (Documents in Greenstone Collections) 988 986 989 if (restart_required) { 987 990 if (keep_collection_open) {
Note:
See TracChangeset
for help on using the changeset viewer.