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.
clarified default properties -- requires to update jedit component;
authorwenzelm
Tue, 20 May 2025 15:18:35 +0200
changeset 82633 38f5ecbb4574
parent 82632 8d16cafa382e
child 82634 9f85679fd899
clarified default properties -- requires to update jedit component;
src/Pure/Admin/component_jedit.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/component_jedit.scala	Tue May 20 12:41:53 2025 +0200
+++ b/src/Pure/Admin/component_jedit.scala	Tue May 20 15:18:35 2025 +0200
@@ -453,7 +453,7 @@
 xml-insert-closing-tag.shortcut=
 
 #dark theme
-console.bgColor.dark=\#ff000000
+console.bgColor.dark=\#ff2b2b2b
 console.plainColor.dark=\#ffffffff
 console.caretColor.dark=\#ffffffff
 console.infoColor.dark=\#ffc1dfee
isabelle