diff -r 692feb5e45e6 -r c6c20afb29c2 NEWS --- a/NEWS Tue May 20 16:52:27 2025 +0200 +++ b/NEWS Tue May 20 17:02:10 2025 +0200 @@ -47,8 +47,8 @@ * GUI rendering of the gutter is now more accurate, using scaled icons to fit precisely into the available space. -* GUI rendering for dark look-and-feels has been slightly improved, e.g. -menu accelerator font/color. +* GUI rendering for dark look-and-feels has been slightly improved: +colors and icons, notably the menu accelerator font/color. * Explicit support for dark GUI themes: FlatLaf tells wether a Swing look & feel is dark or non-dark (default); jEdit options with suffix