# HG changeset patch
# User wenzelm
# Date 1738446065 -3600
# Node ID 5be1b43546386a9385e4451efac91dbc57e792a9
# Parent  e074ba489ab0fd00e55b0b2d8a9de7a94c78bb86
more NEWS;

diff -r e074ba489ab0 -r 5be1b4354638 NEWS
--- 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 ***