Re: [isabelle] *.desktop entries and Arch packages [Re: Isabelle2013-1-RC2 available for testing]
On Wed, 9 Oct 2013, Christoph LANGE wrote:
2013-10-09 17:00 Makarius:
Anyway, we should work out the Gentoo problem with C-B for explicit
completion in Isabelle/jEdit.
As I have just realised this may be a different problem than what I had
OK, so we close the issue once more on the mailing list.
Note that Isabelle/jEdit tries to find a middle ground in providing
sensible defaults for theory editing and preserving original jEdit
For the completion I have added the "isabelle.complete" action and made it
the default for the C-B keyboard shortcut that was formerly
"complete-word". The corresponding menu item actually refers to the old
action. If you were actually using "complete-word" for its own merits,
you can invent new keyboard mappings to avoid the conflict.
The explicit mode of "isabelle.complete" does have some virtues that were
not there in Isabelle2013. It requires some practice to figure out its
dynamics (and options). It is essentially a computer game, but so far
with little documentation.
This archive was generated by a fusion of
Pipermail (Mailman edition) and