Email Gateway (Feb 02 2025 at 16:09): Email Gateway (Feb 02 2025 at 16:09):From: Makarius <makarius@sketis.net>
* Isabelle/jEdit Prover IDE *
Update to FlatLaf 3.5.4, the latest release. Starting with version 3.x
there is native library support for non-portable GUI operations. The
Isabelle/Scala GUI setup disables that by default, for cross-platform
uniformity (arm64-linux lacks a native library).
Thanks to the update of FlatLaf, Linux with Wayland window manager
(e.g. standard Ubuntu) now renders submenus like "File / Recent Files"
in Isabelle/jEdit properly. Before that, the menu could disappear
sponteneously.
This refers to Isabelle/0295cacff486. The native libraries are not really
required.
Makarius
Last updated: Apr 18 2025 at 20:21 UTC