NEWS
changeset 73121 6345ad861a36
parent 73116 b84887a67cc6
child 73124 802647edfe7b
--- a/NEWS	Sun Jan 10 13:04:29 2021 +0100
+++ b/NEWS	Sun Jan 10 13:17:27 2021 +0100
@@ -52,17 +52,17 @@
 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
 on macOS by default, without the special MacOSX plugin.
 
+* On macOS Big Sur full-screen mode works requires to change "System
+Preferences / General / Prefer tabs: in full screen" to never.
+
+* Action "full-screen-mode" (shortcut F11 or S+F11) has been modified
+for better approximate window size on macOS and Linux/X11.
+
 
 *** Document preparation ***