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.
tuned signature;
authorwenzelm
Tue, 24 Jun 2025 21:05:48 +0200
changeset 82747 00828818a607
parent 82746 535e6012ee11
child 82748 0ffcfc137624
tuned signature;
src/Tools/jEdit/src/jedit_options.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/jedit_options.scala	Tue Jun 24 21:00:45 2025 +0200
+++ b/src/Tools/jEdit/src/jedit_options.scala	Tue Jun 24 21:05:48 2025 +0200
@@ -124,7 +124,7 @@
   }
 
   class Isabelle_Rendering_Options extends Isabelle_Options("isabelle-rendering") {
-    val is_dark = GUI.is_dark_laf()
+    private val is_dark = GUI.is_dark_laf()
 
     private val predefined =
       (for {
isabelle