# HG changeset patch
# User wenzelm
# Date 1739628398 -3600
# Node ID 137559b26f749275d14655fd3f8f28e01742cfe0
# Parent  a0d1d772ccabd70e0238add4486e8a1b9db70d90
move some settings to Isabelle repository (in contrast to fc363a3b690a), to facilitate changes without rebuilding the jedit component;

diff -r a0d1d772ccab -r 137559b26f74 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Sat Feb 15 14:37:41 2025 +0100
+++ b/Admin/components/components.sha1	Sat Feb 15 15:06:38 2025 +0100
@@ -261,6 +261,7 @@
 6a5d78867dc6f692f8f3ab758e3ac1b86fabd3bf jedit-20250129.tar.gz
 011d322d4ae1f8c57112bd695f5e812e48e1d953 jedit-20250130.tar.gz
 8a1a29b585240766a34784e152f769d0df007425 jedit-20250209.tar.gz
+12f22ccb48a0a7dc9ad8c1b27552e8fd26d4ae0c jedit-20250215.tar.gz
 44775a22f42a9d665696bfb49e53c79371c394b0 jedit_build-20111217.tar.gz
 a242a688810f2bccf24587b0062ce8027bf77fa2 jedit_build-20120304.tar.gz
 4c948dee53f74361c097c08f49a1a5ff9b17bd1d jedit_build-20120307.tar.gz
diff -r a0d1d772ccab -r 137559b26f74 Admin/components/main
--- a/Admin/components/main	Sat Feb 15 14:37:41 2025 +0100
+++ b/Admin/components/main	Sat Feb 15 15:06:38 2025 +0100
@@ -16,7 +16,7 @@
 isabelle_setup-20240327
 javamail-20250122
 jdk-21.0.6
-jedit-20250209
+jedit-20250215
 jfreechart-1.5.3
 jortho-1.0-2
 jsoup-1.18.3
diff -r a0d1d772ccab -r 137559b26f74 src/Pure/Admin/component_jedit.scala
--- a/src/Pure/Admin/component_jedit.scala	Sat Feb 15 14:37:41 2025 +0100
+++ b/src/Pure/Admin/component_jedit.scala	Sat Feb 15 15:06:38 2025 +0100
@@ -486,9 +486,6 @@
 classpath "$JEDIT_JAR"
 
 JEDIT_SETTINGS="$ISABELLE_HOME_USER/jedit"
-JEDIT_OPTIONS="-reuseview -nobackground -nosplash -log=9"
-JEDIT_JAVA_OPTIONS="-Xms512m -Xmx4g -Xss16m"
-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"
 
 ISABELLE_DOCS="$ISABELLE_DOCS:$JEDIT_HOME/doc"
 """)
diff -r a0d1d772ccab -r 137559b26f74 src/Tools/jEdit/etc/settings
--- a/src/Tools/jEdit/etc/settings	Sat Feb 15 14:37:41 2025 +0100
+++ b/src/Tools/jEdit/etc/settings	Sat Feb 15 15:06:38 2025 +0100
@@ -2,3 +2,7 @@
 
 ISABELLE_JEDIT_OPTIONS=""
 ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/Tools"
+
+JEDIT_OPTIONS="-reuseview -nobackground -nosplash -log=9"
+JEDIT_JAVA_OPTIONS="-Xms512m -Xmx4g -Xss16m"
+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"