Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
move some settings to Isabelle repository (in contrast to fc363a3b690a), to facilitate changes without rebuilding the jedit component;
authorwenzelm
Sat, 15 Feb 2025 15:06:38 +0100
changeset 82182 137559b26f74
parent 82181 a0d1d772ccab
child 82183 a519b9d1e1c1
move some settings to Isabelle repository (in contrast to fc363a3b690a), to facilitate changes without rebuilding the jedit component;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions
src/Pure/Admin/component_jedit.scala file | annotate | diff | comparison | revisions
src/Tools/jEdit/etc/settings file | annotate | diff | comparison | revisions 
--- 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
--- 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
--- 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"
 """)
--- 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"
isabelle