NEWS: update to FlatLaf 3.5.4 (Update)

[Makarius]

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