src/Tools/jEdit/src/isabelle_options.scala

 {
   // FIXME avoid hard-wired stuff
   private val predefined =
     (for {
       (name, opt) <- Isabelle.options.value.options.toList
-      if (name.startsWith("color_") && opt.section == "Rendering of Document Content")
+      if (name.endsWith("_color") && opt.section == "Rendering of Document Content")
     } yield Isabelle.options.make_color_component(opt))
 
   assert(!predefined.isEmpty)
 
   protected val components = Isabelle.options.make_components(predefined, _ => false)