Re: [isabelle] Number of undos
I wouldn't recommend using jEdit undo at all, you can't undo undos (as
in emacs) so you live with the illusion you can get back to previous
states while a single edit after an undo can cut of arbitrary parts of
your documents history.
Am 30.09.14 um 12:11 schrieb Joachim Breitner:
I’m not sure if this is an issue with jEdit or with Isabelle/jEdit, but
I find the default number of 100 undo steps very low, and I occasionally
lose work when some change turned out to be contraproductive and I want
to go back.
Given the resource demands that Isabelle has anyways (16GB RAM was
suggested recently, I think), I don’t believe that there is a problem
raising that limit by an order of magnitude or two.
I know I can change it myself locally, but
* when upgrading Isabelle my settings are lost, so unless I’m very
careful I’ll be bitten by the problem at least once per release.
* other users might learn about the setting the hard way.
So I suggest to change the default as distributed with Isabelle.
This archive was generated by a fusion of
Pipermail (Mailman edition) and