Changeset 6392 for trunk/gli/src/org/greenstone/gatherer/Gatherer.java
- Timestamp:
- 2004-01-09T15:14:34+13:00 (20 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/Gatherer.java
r6251 r6392 336 336 assoc_man = null; 337 337 } 338 339 // Get the gui to deallocate 340 g_man.hide(); 341 g_man.destroy(); 338 342 339 343 // Store the current position and size (if reasonable) of the Gatherer for next time
Note:
See TracChangeset
for help on using the changeset viewer.