Email Gateway (Feb 28 2026 at 21:40): Email Gateway (Feb 28 2026 at 21:40):From: Makarius <makarius@sketis.net>
* Isabelle/jEdit Prover IDE *
The keyboard shortcut "F1" now refers to jEdit action
"isabelle-documentation" to activate the Documentation panel of
Isabelle/jEdit. That is more useful than the original jEdit help, which
is also available as PDF from the Documentation panel.
The jEdit action "focus-textarea" is now mapped to the keyboard
shortcut "S+F1", for improved accessibility. Together with "F1" for
"isabelle-documentation", this allows to explore Isabelle examples
quickly via keyboard only.
This refers to Isabelle/78618a883b2e.
The action "focus-textarea" might look trivial to mouse-users, but with the
keyboard alone it is hard to achieve. This turned out critical to get started
quickly with keyboard + braille display, using F1 versus S+F1.
I actually had F2 first, but it turned out to be in conflict with other defaults:
changeset: 84132:817be267b8a6
user: wenzelm
date: Sat Feb 28 20:20:22 2026 +0100
files: Admin/components/components.sha1 Admin/components/main NEWS
src/Pure/GUI
/tree_view.scala src/Tools/jEdit/patches/keymaps
description:
prefer focus-textarea.shortcut=S+F1 to avoid conflict with
vfs.browser.rename.shortcut, which is also hardwired in jEdit
VFSDirectoryEntryTable.processKeyEvent and Swing Table.ancestorInputMap;
proper find-prev.shortcut (not find-previous.shortcut) and additional
find-prev.shortcut2=S+F3;
Thus we also got the pair F3 and S+F3 to imitate some notorious MS applications.
Makarius
Last updated: Mar 17 2026 at 17:04 UTC