NEWS: Isabelle/jEdit menus

[Makarius]

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