Changeset 8004
- Timestamp:
- 2004-08-19T16:16:07+12:00 (20 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/EnrichPane.java
r7540 r8004 756 756 757 757 // Don't bother if this isn't the selected view 758 if (Gatherer.g_man.getSelectedView() != this) {759 return;760 }758 // if (Gatherer.g_man.getSelectedView() != this) { 759 // return; 760 // } 761 761 762 762 if (collection_tree.getSelectionCount() > 0) {
Note:
See TracChangeset
for help on using the changeset viewer.