- Timestamp:
- 2004-11-09T13:54:52+13:00 (19 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/Preferences.java
r8243 r8496 734 734 Gatherer.g_man.modeChanged(new_mode); 735 735 } 736 736 737 // Warning preferences 737 for(int i = 0; i < warning_preferences_check_list.getEntryCount(); i++) { 738 Entry entry = warning_preferences_check_list.get(i); 738 ListModel warning_preferences_check_list_model = warning_preferences_check_list.getModel(); 739 for (int i = 0; i < warning_preferences_check_list_model.getSize(); i++) { 740 Entry entry = (Entry) warning_preferences_check_list_model.getElementAt(i); 739 741 Configuration.set(entry.getProperty(), true, entry.isSelected()); 740 742 } 741 743 742 if (Gatherer.GS3 && site_changed && Gatherer.c_man.getCollection() !=null) {744 if (Gatherer.GS3 && site_changed && Gatherer.c_man.getCollection() != null) { 743 745 // shut down the collection 744 746 System.err.println("shutting down teh collection");
Note:
See TracChangeset
for help on using the changeset viewer.