src/Tools/jEdit/src/isabelle_options.scala

       "jedit_tooltip_margin", "jedit_tooltip_dismiss_delay", "editor_load_delay",
       "editor_input_delay", "editor_output_delay", "editor_update_delay")
 
   relevant_options.foreach(Isabelle.options.value.check_name _)
 
-  private val components =
-    Isabelle.options.make_components(List(Isabelle_Logic.logic_selector(false)), relevant_options)
+  private val predefined =
+    Isabelle_Logic.logic_selector(false) ::
+      (for {
+        (name, opt) <- Isabelle.options.value.options.toList
+        // FIXME avoid hard-wired stuff
+        if (name.startsWith("color_") && opt.section == "Rendering of Document Content")
+      } yield Isabelle.options.make_color_component(opt))
+
+  private val components = Isabelle.options.make_components(predefined, relevant_options)
 
   override def _init()
   {
     val dummy_property = "options.isabelle.dummy"