[isabelle-dev] jedit interface

Makarius makarius at sketis.net
Thu Sep 19 19:32:02 CEST 2013


On Wed, 18 Sep 2013, Tobias Nipkow wrote:

> I just noticed the following behaviour in 705f0b728b1b: When the cursor remains
> fixed in the theory window and I scroll in that window with the help of the
> scoll bar, the output window goes blank when the line with the cursor is no
> longer visible. I have no idea when that changed but in Isabelle 2013 it was not
> like that - the output would not go blank.

I think it is just a consequence of the major reforms of the document 
execution model from this summer.  Since this is my own department it will 
be easy to address, and not require descending into the dungeons of JDK 
sources again.  I will come back to this within a few days.


 	Makarius



More information about the isabelle-dev mailing list