src/Tools/jEdit/src/isabelle_options.scala

       "jedit_tooltip_font_scale", "jedit_symbols_search_limit", "jedit_tooltip_margin",
       "threads", "threads_trace", "parallel_proofs", "parallel_proofs_threshold",
       "editor_load_delay", "editor_input_delay", "editor_output_delay", "editor_reparse_limit",
       "editor_tracing_limit", "editor_update_delay")
 
-  relevant_options.foreach(Isabelle.options.value.check_name _)
+  relevant_options.foreach(PIDE.options.value.check_name _)
 
   protected val components =
-    Isabelle.options.make_components(List(Isabelle_Logic.logic_selector(false)), relevant_options)
+    PIDE.options.make_components(List(Isabelle_Logic.logic_selector(false)), relevant_options)
 }
 
 
 class Isabelle_Options2 extends Isabelle_Options("isabelle-rendering")
 {
   // FIXME avoid hard-wired stuff
   private val predefined =
     (for {
-      (name, opt) <- Isabelle.options.value.options.toList
+      (name, opt) <- PIDE.options.value.options.toList
       if (name.endsWith("_color") && opt.section == "Rendering of Document Content")
-    } yield Isabelle.options.make_color_component(opt))
+    } yield PIDE.options.make_color_component(opt))
 
   assert(!predefined.isEmpty)
 
-  protected val components = Isabelle.options.make_components(predefined, _ => false)
+  protected val components = PIDE.options.make_components(predefined, _ => false)
 }