asynchronous editor update
It should be possible for the compiler to update the Eclipse editor at any given time.
In particular, the editor should receive updates of
Submitted by Sebastian Erdweg on 11 May 2011 at 10:22
- a single file multiple times during compilation (intermediate results) and
- files on which the current file depends.