--- a/NEWS Sat Feb 01 22:13:49 2025 +0100
+++ b/NEWS Sat Feb 01 22:41:05 2025 +0100
@@ -196,6 +196,10 @@
latter is missing for arm64-linux, so old 2.6 is used on that platform:
this may lead to minor differences in GUI appearance and behaviour.
+* 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.
*** Isabelle/VSCode Prover IDE ***