It should be possible for the compiler to update the Eclipse editor at any given time.

In particular, the editor should receive updates of

  • a single file multiple times during compilation (intermediate results) and
  • files on which the current file depends.
Submitted by Sebastian Erdweg on 11 May 2011 at 10:22

On 19 May 2011 at 11:35 Sebastian Erdweg tagged plugin

Log in to post comments