Stream: Mirror: Isabelle Development Mailing List

Topic: NEWS: Isabelle/jEdit menus

Email Gateway (Feb 28 2026 at 21:31):

From: Makarius <makarius@sketis.net>

* Isabelle/jEdit Prover IDE *

• The menu bar of jEdit has been adapted to the requirements of
  Isabelle/jEdit, with special focus on accessibility: menus need to be
  clearly structured and provide reasonable access paths, usually with
  shortcuts. The following menus and items are particularly notable:

  • Utilities / Plugin Manager: moved here from Plugins menu
  • Utilities / Macros: moved here from main menu bar
  • Plugins: only lists submenus from plugins
  • Isabelle: moved here from Plugins / Isabelle
  • Options: new menu with Buffer, Global, Plugin, Isabelle Options.
  • Help: new item for Isabelle Documentation.

• The menu action "Edit / Complete word" now refers to
  "isabelle.complete-words" instead of "complete-word" from classic jEdit.
  Minor INCOMPATIBILITY.

• The FlatLaf look-and-feel has been patched slightly, to recover the
  regular Java/Swing behavior of the F10 key on all platforms, notably
  Windows. F10 should focus the menu bar and open the first menu, which
  can be reversed via the ESCAPE. Consequently, the NVDA Screen Reader
  will display the menu title on the Braille display properly ---
  otherwise no action was indicated. Minor INCOMPATIBILITY with native
  Windows GUI behavior of F10, which FlatLaf attempted to imitate here.

This refers to Isabelle/78618a883b2e.

It is some miscellaneous spring cleaning of the main menu bar, to shorten
keyboard traversal paths. A bit more might come eventually.

Makarius

Last updated: Mar 17 2026 at 17:04 UTC