Changeset 8635
- Timestamp:
- 2004-11-23T15:20:40+13:00 (19 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/EnrichPane.java
r8634 r8635 444 444 public void refresh(int refresh_reason, boolean ready) 445 445 { 446 // if (refresh_reason == PREFERENCES_CHANGED) {447 // valueChanged((TreeSelectionEvent) null); // Refresh metadata table448 // }449 450 446 if (ready) { 451 447 // Update label
Note:
See TracChangeset
for help on using the changeset viewer.