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