changeset 73050 d77bb4441250
parent 73009 56eae6d161db
child 73051 6ba08ec184a1
--- a/NEWS	Mon Jan 04 21:02:46 2021 +0100
+++ b/NEWS	Mon Jan 04 21:24:15 2021 +0100
@@ -46,6 +46,12 @@
 collection and sharing of live data on the ML heap. It also includes
 information about the Java Runtime system.
+* Action "full-screen-mode" (shortcut F11 or S+F11) has been modified
+for better approximate window size on macOS and Linux/X11. This is
+particularly important for macOS 11.1 Big Sur, where the native
+full-screen mode is incompatible with Java window management: it puts
+dialog windows into an unusable state (Search, Hypersearch, etc.).
 * PIDE support for session ROOTS: markup for directories.
 * Update to jedit-5.6.0, the latest release. This version works properly