Re: [isabelle] Isabelle/jEdit requests loading of files during shutdown
On Tue, 2 Sep 2014, Andreas Lochbihler wrote:
Here's an observation about Isabelle2014 that seems surprising and a bit
undesired at first. When I close Isabelle/jEdit with a number of unsaved
theory files, I get a popup that asks me which of those I want to save.
Then, I first select a subset of the files to be safed and click on
"safe selected" and they disappear from the list. Unfortunately, there
is immediately a new popup that asks me whether I want to load the
theories that I have just eliminated from the list. To me, this popup is
bogus, because I am trying to shutdown jEdit and therefore do not want
to load any theories. I just want to continue to save or discard my
changes. Instead, I have to get rid of this popup first. It would be
great if this popup does not show up in the next release.
Rather late, I've had a look at this. jEdit happens to indicate the
exit/closeAllBuffers dialog by some Boolean flag, so the PIDE auto load
can guard against that. See also
which will be also in the next Isabelle2015 release candidate (presumably
end of this week).
This archive was generated by a fusion of
Pipermail (Mailman edition) and