Re: [isabelle-dev] jedit interface
On Thu, 19 Sep 2013, Makarius wrote: 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. changeset: 53780:ef62204a126b user:wenzelm date:Sat Sep 21 20:58:32 2013 +0200 files: src/Tools/jEdit/src/document_view.scala description: caret range of active text area counts as visible (e.g. relevant for Output after scrolling outside of text view); It remains to be seen if this is exactly the right notion of visibility to get Output of proof states as expected in most situations. The point here is that the system gives up old prover output when it is considered unreachable by GUI components. This conserves scarce JVM memory resources (see also d598b6231ff7). Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] jedit interface
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 ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
[isabelle-dev] jedit interface
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
Re: [isabelle-dev] jedit interface
On Wed, 18 Sep 2013, Tobias Nipkow wrote: 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 seen something like that yesterday, but did not look further. After the update to jdk-7u40 some other fine points suddenly started working, e.g. the persistent window geometry of dockables as on Linux and Windows. Some other things might have stopped working, or just work slightly differently. In both cases I did not ask too many questions yet -- Oracle delivers something and one needs to stomach that, or make worarounds. 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? All this Java + GUI programming is just physics. Not even quantum physics with its clear mathematics behind it, but just classic thermodynamics. I am trying for years to make some island of stability in this world of madness. That is the overall intention behind it. Note that in that respect we are an order of magnitude ahead of anybody else, but it merely shows how crappy all these software frameworks and operating system platforms really are that everybody has to use. Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] jedit interface
Am 18/09/2013 17:38, schrieb Makarius: On Wed, 18 Sep 2013, Tobias Nipkow wrote: 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 seen something like that yesterday, but did not look further. After the update to jdk-7u40 some other fine points suddenly started working, e.g. the persistent window geometry of dockables as on Linux and Windows. Some other things might have stopped working, or just work slightly differently. In both cases I did not ask too many questions yet -- Oracle delivers something and one needs to stomach that, or make worarounds. Thanks, I expected something like that. If you find time for a workaround it would be appreciated. Tobias 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? All this Java + GUI programming is just physics. Not even quantum physics with its clear mathematics behind it, but just classic thermodynamics. I am trying for years to make some island of stability in this world of madness. That is the overall intention behind it. Note that in that respect we are an order of magnitude ahead of anybody else, but it merely shows how crappy all these software frameworks and operating system platforms really are that everybody has to use. Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
