# HG changeset patch
# User wenzelm
# Date 1750791948 -7200
# Node ID 00828818a60743d3e5412299dc1ea0da5ae00496
# Parent  535e6012ee11522661a76bcb6daea950dbf7173f
tuned signature;

diff -r 535e6012ee11 -r 00828818a607 src/Tools/jEdit/src/jedit_options.scala
--- 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 {