isabelle: src/Tools/jEdit/etc/settings@e4fae2227594 (annotated)

38155 e669779bb8c4 editor mode; wenzelm parents: 37058 diff changeset	1	# -- shell-script -- :mode=shellscript:
e669779bb8c4 editor mode; wenzelm parents: 37058 diff changeset	2
45057 86c9b73158a8 default print mode for Isabelle/Scala, not just Isabelle/jEdit; wenzelm parents: 45024 diff changeset	3	ISABELLE_JEDIT_OPTIONS=""
73987 fc363a3b690a build.props for isabelle.jar, including isabelle.jedit; wenzelm parents: 71791 diff changeset	4	ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/Tools"
82182 137559b26f74 move some settings to Isabelle repository (in contrast to fc363a3b690a), to facilitate changes without rebuilding the jedit component; wenzelm parents: 73987 diff changeset	5
137559b26f74 move some settings to Isabelle repository (in contrast to fc363a3b690a), to facilitate changes without rebuilding the jedit component; wenzelm parents: 73987 diff changeset	6	JEDIT_OPTIONS="-reuseview -nobackground -nosplash -log=9"
137559b26f74 move some settings to Isabelle repository (in contrast to fc363a3b690a), to facilitate changes without rebuilding the jedit component; wenzelm parents: 73987 diff changeset	7	JEDIT_JAVA_OPTIONS="-Xms512m -Xmx4g -Xss16m"
82638 e8674158bbba tuned GUI for macOS (see also https://www.formdev.com/flatlaf/macos); wenzelm parents: 82182 diff changeset	8	JEDIT_JAVA_SYSTEM_OPTIONS="-Dsun.java2d.metal=false -Duser.language=en -Dawt.useSystemAAFontSettings=on -Dswing.aatext=true -Dapple.laf.useScreenMenuBar=true -Dapple.awt.application.name=Isabelle -Dapple.awt.application.appearance=system"

author	haftmann
	Sun, 27 Jul 2025 17:52:06 +0200
changeset 82909	e4fae2227594
parent 82638	e8674158bbba
permissions	-rw-r--r--