makarius at sketis.net
Wed Aug 7 15:41:54 CEST 2013
On Tue, 6 Aug 2013, Christian Sternagel wrote:
> What I did *not* notice however, was the following message at the end of
> a very long trace (in jEdit):
> Tracing paused. Stop, or continue with next 100, 1000, 10000 messages?
> So, actually jEdit was just waiting for my input and not computing for hours
> (as I thought; I should have observed that from the missing scream of my
> laptops fan).
That interactive feedback is still a bit crude (unchanged since
The first thing would be to make a different color scheme for waiting
tasks, in contrast to the deep purple of running ones.
The second thing would be to provide some central overview of such
important status information.
None of that is imminent -- I am presently busy with other things that
have been in the pipeline for several years longer.
More information about the isabelle-dev