1# -*- shell-script -*- :mode=shellscript: 2 3JEDIT_HOME="$COMPONENT" 4JEDIT_SETTINGS="$ISABELLE_HOME_USER/jedit" 5 6JEDIT_OPTIONS="-reuseview -nobackground -log=9" 7 8JEDIT_JAVA_OPTIONS="-Xms512m -Xmx2560m -Xss8m" 9JEDIT_JAVA_SYSTEM_OPTIONS="-Duser.language=en -Dawt.useSystemAAFontSettings=on -Dswing.aatext=true -Dapple.laf.useScreenMenuBar=true -Dapple.awt.application.name=Isabelle" 10 11ISABELLE_JEDIT_OPTIONS="" 12 13ISABELLE_TOOLS="$ISABELLE_TOOLS:$JEDIT_HOME/lib/Tools" 14ISABELLE_DOCS="$ISABELLE_DOCS:$JEDIT_HOME/dist/doc" 15