Email Gateway (Aug 23 2022 at 08:32): Email Gateway (Aug 23 2022 at 08:32):From: Makarius <makarius@sketis.net>
This can be ignored for now. It was a last-minute addition for
Isabelle2020-RC1 and I've forgotten the usual workaround for such "hijacking"
of existing keyboard shortcuts. See the following change for the next release
candidate: https://isabelle-dev.sketis.net/rISABELLEf79d57c27919
The deeper question behind this: What are really good keyboard shortcuts for
these newly added Isabelle/jEdit actions?
isabelle.tooltip (CS+b)
isabelle.message (CS+m)
isabelle.first-error (CS+a)
isabelle.last-error (CS+z)
isabelle.next-error (CS+n)
isabelle.prev-error (CS+p)
There are some side-conditions on OS platforms and GUI environments. In the
worst case, the above are merely examples and users need to find their own
hotkeys.
Makarius
Last updated: Nov 21 2024 at 12:39 UTC