NEWS: Isabelle/jEdit F1 versus S+F1

[Makarius]

*** 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