| Used to run an event loop whenever progress monitor methods
are invoked.
This is needed since editor save operations are done in the UI thread.
Although save operations should be written to do the work in the non-UI thread,
this was not done for 1.0, so this was added to keep the UI live
(including allowing the cancel button to work).
|