Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2020-RC1 --- keyboard shortcuts


view this post on Zulip 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: Mar 29 2024 at 12:28 UTC