src/Tools/jEdit/src/pretty_text_area.scala

 {
   private def text_rendering(base_snapshot: Document.Snapshot, formatted_body: XML.Body):
     (String, Rendering) =
   {
     val (text, state) = Pretty_Text_Area.document_state(base_snapshot, formatted_body)
-    val rendering = Rendering(state.snapshot(), Isabelle.options.value)
+    val rendering = Rendering(state.snapshot(), PIDE.options.value)
     (text, rendering)
   }
 
   private def document_state(base_snapshot: Document.Snapshot, formatted_body: XML.Body)
     : (String, Document.State) =