# HG changeset patch
# User wenzelm
# Date 1745420318 -7200
# Node ID 9720ebc51bcbbdfca20a01f0c3978285e608e669
# Parent  b47b65bd707f9495c27ca0a9900313c6a81761f7
update NEWS;

diff -r b47b65bd707f -r 9720ebc51bcb NEWS
--- a/NEWS	Wed Apr 23 14:54:06 2025 +0200
+++ b/NEWS	Wed Apr 23 16:58:38 2025 +0200
@@ -40,6 +40,24 @@
 * Update GUI look-and-feel to current FlatLaf 3.6, with native library
 support on all Isabelle platforms (now including arm64-linux).
 
+* Additional look-and-feels "FlatLaf macOS Light" and "FlatLaf macOS
+Dark" imitate original macOS more closely. This is the default for the
+bundled application on macOS.
+
+* 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.
+
+* Provide scalable icons for old-fashioned "tango" (from early Gnome or
+KDE), and "idea-icons" from current IntelliJ IDEA community edition. All
+icons are available for jEdit and Isabelle/jEdit add-ons. The special
+notation "myicon.svg?scale=0.5" allows to resize icons as specified in
+jEdit properties. The default properties of Isabelle/jEdit usually
+prefer scalable icons over fixed old bitmaps, but some notable icons are
+not available as SVG.
+
 
 *** HOL ***
 
@@ -194,6 +212,10 @@
 * SSH connections allow both bash and zsh as remote shell. This is
 particularly important for macOS, where zsh is the default user shell.
 
+* Isabelle/Scala supports SVG via the "jsvg" library
+(com.github.weisj.jsvg.SVGDocument), as well as the "flatlaf-extras"
+library (com.formdev.flatlaf.extras.FlatSVGIcon).
+
 
 
 New in Isabelle2025 (March 2025)