# HG changeset patch
# User wenzelm
# Date 1610994320 -3600
# Node ID 96d87b9c2b4222db19cac877067ab34f9ef946e7
# Parent  5a954fd5f0784cec4d9f42e7a13a381713ed6cff
workaround for Big Sur fullscreen mode: better support for JDialog windows (e.g. Find on top of main View);

diff -r 5a954fd5f078 -r 96d87b9c2b42 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Mon Jan 18 18:05:29 2021 +0100
+++ b/src/Pure/Admin/build_release.scala	Mon Jan 18 19:25:20 2021 +0100
@@ -287,6 +287,15 @@
 
 declare -a JAVA_OPTIONS=($(perl -p -e 's,#.*$,,g;' "$ISABELLE_HOME/Isabelle.options"))
 
+if [ "$ISABELLE_PLATFORM_FAMILY" = "macos" ]; then
+  JAVA_VERSION="$("$ISABELLE_JDK_HOME/bin/java" -version 2>&1 | head -n 1 | cut -d '"' -f2)"
+  JAVA_DOMAIN="com.azul.zulu.${JAVA_VERSION}.java"
+  if defaults read "$JAVA_DOMAIN" AppleWindowTabbingMode >/dev/null 2>/dev/null
+  then :
+  else defaults write "$JAVA_DOMAIN" AppleWindowTabbingMode manual >/dev/null 2>/dev/null
+  fi
+fi
+
 exec "$ISABELLE_JDK_HOME/bin/java" \
   "-Disabelle.root=$ISABELLE_HOME" "${JAVA_OPTIONS[@]}" \
   -classpath """" + classpath.map(p => "$ISABELLE_HOME/" + p.implode).mkString(":") + """" \