Changeset 5581 for trunk/gli/src/org/greenstone/gatherer/gui
- Timestamp:
- 2003-10-06T13:32:25+13:00 (21 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/GUIManager.java
r5571 r5581 53 53 import org.greenstone.gatherer.collection.Collection; 54 54 import org.greenstone.gatherer.collection.DeleteCollectionPrompt; 55 import org.greenstone.gatherer.collection.LoadCollectionBox;56 55 import org.greenstone.gatherer.collection.SaveCollectionBox; 57 56 import org.greenstone.gatherer.file.FileNode; … … 618 617 // Wait until it is closed. 619 618 try { 620 619 synchronized(this) { 621 620 while(Gatherer.c_man.reallyReady()) { 622 621 wait(10); 623 622 } 624 623 } 625 624 } 626 625 catch(Exception error) {
Note:
See TracChangeset
for help on using the changeset viewer.