Changes between Initial Version and Version 1 of Ticket #238


Ignore:
Timestamp:
Aug 14, 2008, 5:18:51 PM (16 years ago)
Author:
Graham Dutton
Comment:

Investigating. I don't know why this should interfere with display update efficiency, except if it's simply overloading the machine. Regardless, threading here seems like a bad idea and I will work towards its removal.

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #238

    • Property Status changed from new to accepted

  • Ticket #238 – Description

    initial v1  
    1 The goto thread job nicely collects exceptions from the subjob, but it has the disadvantage (I think) of disabling display updates while the thread runs.  Try AThousandLines.thy to see what I mean --- previously you could watch the blue region grow.   Seems best to remove the thread spawning here, the undo command list calculation shouldn't take long at all.
     1The goto thread job nicely collects exceptions from the subjob, but it has the disadvantage (I think) of disabling display updates while the thread runs.  Try {{{AThousandLines.thy}}} to see what I mean --- previously you could watch the blue region grow.   Seems best to remove the thread spawning here, the undo command list calculation shouldn't take long at all.
    22