NEWS: update to FlatLaf 3.5.4

[Makarius]

On 01/02/2025 23:08, Makarius wrote:
> *** Isabelle/jEdit Prover IDE ***
> 
> * Due to the update of FlatLaf, x86_64-linux with Wayland window manager
> (e.g. standard Ubuntu) now renders submenus like "File / Recent Files"
> properly. On arm64-linux an old problem of FlatLaf persists, but it is
> possible to use WaylandEnable=false in /etc/gdm3/custom.conf and reboot.

My impression is that Xorg instead of XWayland works a bit better on the tiny 
arm64-linux device (Raspberry Pi 5).


	Makarius