# HG changeset patch
# User wenzelm
# Date 1738512306 -3600
# Node ID 0295cacff48602eac707d4cb6bf550daaaefe89b
# Parent  1be62b17bed921c0f5ab8769dfae18c536b79026
clarified NEWS: not user-relevant;

diff -r 1be62b17bed9 -r 0295cacff486 NEWS
--- a/NEWS	Sun Feb 02 16:04:09 2025 +0100
+++ b/NEWS	Sun Feb 02 17:05:06 2025 +0100
@@ -194,9 +194,7 @@
 * Update to FlatLaf 3.5.4, the latest release. Starting with version 3.x
 there is native library support for non-portable GUI operations. The
 Isabelle/Scala GUI setup disables that by default, for cross-platform
-uniformity (arm64-linux lacks a native library). It can be enabled via
-the Java runtime option -Dflatlaf.useNativeLibrary=true (e.g. via
-JEDIT_JAVA_SYSTEM_OPTIONS).
+uniformity (arm64-linux lacks a native library).
 
 * Thanks to the update of FlatLaf, Linux with Wayland window manager
 (e.g. standard Ubuntu) now renders submenus like "File / Recent Files"