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 prefer the original behaviour because one often wants to compare the output with some other bits of theory text. Is this an intentional change?
Tobias _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
