| author | wenzelm |
| Tue, 02 Apr 2024 18:29:14 +0200 | |
| changeset 80074 | 951c371c1cd9 |
| parent 79556 | 0631dfc0db07 |
| permissions | -rwxr-xr-x |
|
73161
31fbde3baa97
more systematic java-gui-setup, also for "isabelle jedit" command-line tool;
wenzelm
parents:
diff
changeset
|
1 |
#!/usr/bin/env bash |
|
31fbde3baa97
more systematic java-gui-setup, also for "isabelle jedit" command-line tool;
wenzelm
parents:
diff
changeset
|
2 |
# |
|
31fbde3baa97
more systematic java-gui-setup, also for "isabelle jedit" command-line tool;
wenzelm
parents:
diff
changeset
|
3 |
# java-gui-setup --- platform-specific setup for Java/Swing GUI applications |
|
31fbde3baa97
more systematic java-gui-setup, also for "isabelle jedit" command-line tool;
wenzelm
parents:
diff
changeset
|
4 |
|
|
79556
0631dfc0db07
more robust check of ISABELLE_PLATFORM_FAMILY within settings environment, to support its reunification with Isabelle/Scala (see also a33a6e541cbb, f3a356c64193);
wenzelm
parents:
73161
diff
changeset
|
5 |
case "$ISABELLE_PLATFORM_FAMILY" in |
|
0631dfc0db07
more robust check of ISABELLE_PLATFORM_FAMILY within settings environment, to support its reunification with Isabelle/Scala (see also a33a6e541cbb, f3a356c64193);
wenzelm
parents:
73161
diff
changeset
|
6 |
macos*) |
|
0631dfc0db07
more robust check of ISABELLE_PLATFORM_FAMILY within settings environment, to support its reunification with Isabelle/Scala (see also a33a6e541cbb, f3a356c64193);
wenzelm
parents:
73161
diff
changeset
|
7 |
JAVA_VERSION="$("$ISABELLE_JDK_HOME/bin/java" -version 2>&1 | head -n 1 | cut -d '"' -f2)"
|
|
0631dfc0db07
more robust check of ISABELLE_PLATFORM_FAMILY within settings environment, to support its reunification with Isabelle/Scala (see also a33a6e541cbb, f3a356c64193);
wenzelm
parents:
73161
diff
changeset
|
8 |
JAVA_DOMAIN="com.azul.zulu.${JAVA_VERSION}.java"
|
|
0631dfc0db07
more robust check of ISABELLE_PLATFORM_FAMILY within settings environment, to support its reunification with Isabelle/Scala (see also a33a6e541cbb, f3a356c64193);
wenzelm
parents:
73161
diff
changeset
|
9 |
defaults read "$JAVA_DOMAIN" AppleWindowTabbingMode >/dev/null 2>/dev/null || |
|
0631dfc0db07
more robust check of ISABELLE_PLATFORM_FAMILY within settings environment, to support its reunification with Isabelle/Scala (see also a33a6e541cbb, f3a356c64193);
wenzelm
parents:
73161
diff
changeset
|
10 |
defaults write "$JAVA_DOMAIN" AppleWindowTabbingMode manual >/dev/null 2>/dev/null |
|
0631dfc0db07
more robust check of ISABELLE_PLATFORM_FAMILY within settings environment, to support its reunification with Isabelle/Scala (see also a33a6e541cbb, f3a356c64193);
wenzelm
parents:
73161
diff
changeset
|
11 |
;; |
|
0631dfc0db07
more robust check of ISABELLE_PLATFORM_FAMILY within settings environment, to support its reunification with Isabelle/Scala (see also a33a6e541cbb, f3a356c64193);
wenzelm
parents:
73161
diff
changeset
|
12 |
esac |