--- a/src/Pure/Admin/component_jedit.scala Wed May 14 11:31:23 2025 +0200
+++ b/src/Pure/Admin/component_jedit.scala Thu May 15 22:55:29 2025 +0200
@@ -450,6 +450,52 @@
view.thickCaret=true
view.width=1200
xml-insert-closing-tag.shortcut=
+
+#dark theme
+view.bgColor.dark=\#2B2B2B
+view.caretColor.dark=\#99ff99
+view.eolMarkerColor.dark=\#ffcc00
+view.fgColor.dark=\#ffffff
+view.gutter.bgColor.dark=\#282828
+view.gutter.currentLineColor.dark=\#66cc00
+view.gutter.fgColor.dark=\#ffffff
+view.gutter.focusBorderColor.dark=\#99ccff
+view.gutter.foldColor.dark=\#838383
+view.gutter.highlightColor.dark=\#ffcc00
+view.gutter.markerColor.dark=\#006666
+view.gutter.noFocusBorderColor.dark=\#ffffff
+view.gutter.selectionAreaBgColor.dark=\#282828
+view.gutter.structureHighlightColor.dark=\#cccccc
+view.lineHighlightColor.dark=\#1d0a0a
+view.selectionColor.dark=\#0f4982
+view.status.background.dark=\#333333
+view.status.foreground.dark=\#ffffff
+view.status.memory.background.dark=\#66699a
+view.status.memory.foreground.dark=\#cccccc
+view.structureHighlightColor.dark=\#ffff00
+view.style.comment1.dark=color\:\#87ceeb
+view.style.comment2.dark=color\:\#cd5c5c
+view.style.comment3.dark=color\:\#999900
+view.style.comment4.dark=color\:\#cc6600
+view.style.digit.dark=color\:\#cc3300
+view.style.foldLine.0.dark=color\:\#ffffff bgColor\:\#452424 style\:b
+view.style.foldLine.1.dark=color\:\#ffffff bgColor\:\#625950 style\:b
+view.style.foldLine.2.dark=color\:\#ffffff bgColor\:\#3c3c67 style\:b
+view.style.foldLine.3.dark=color\:\#ffffff bgColor\:\#314444 style\:b
+view.style.function.dark=color\:\#98fb98
+view.style.invalid.dark=color\:\#ff0066 bgColor\:\#ffffcc
+view.style.keyword1.dark=color\:\#f0e68c style\:b
+view.style.keyword2.dark=color\:\#009966 style\:b
+view.style.keyword3.dark=color\:\#cc6600 style\:b
+view.style.keyword4.dark=color\:\#66ccff style\:b
+view.style.label.dark=color\:\#ffdead
+view.style.literal1.dark=color\:\#ffa0a0
+view.style.literal2.dark=color\:\#cc6600
+view.style.literal3.dark=color\:\#ffcc00
+view.style.literal4.dark=color\:\#ffffff
+view.style.markup.dark=color\:\#bdb76b
+view.style.operator.dark=color\:\#9b9b9b style\:b
+view.wrapGuideColor.dark=\#8080ff
""")
val modes_dir = source_dir + Path.basic("modes")