Changeset 6833
- Timestamp:
- 2004-02-18T16:25:41+13:00 (20 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/Preferences.java
r6825 r6833 40 40 import org.greenstone.gatherer.checklist.CheckList; 41 41 import org.greenstone.gatherer.checklist.Entry; 42 import org.greenstone.gatherer.collection.Collection; 42 43 import org.greenstone.gatherer.gui.EmailField; 43 44 import org.greenstone.gatherer.gui.GLIButton; … … 671 672 if(new_mode != current_mode) { 672 673 Gatherer.config.setMode(new_mode); 673 Gatherer.c_man.getCollection().cdm.modeChanged(new_mode); 674 Collection collection = Gatherer.c_man.getCollection(); 675 if (collection != null) { 676 collection.cdm.modeChanged(new_mode); 677 } 674 678 Gatherer.g_man.modeChanged(new_mode); 675 679 }
Note:
See TracChangeset
for help on using the changeset viewer.