src/Tools/VSCode/src/document_model.scala

 
   def resources: VSCode_Resources = session.resources.asInstanceOf[VSCode_Resources]
 
   def snapshot(): Document.Snapshot = session.snapshot(node_name, text_edits)
 
-  def rendering(options: Options): VSCode_Rendering =
-    new VSCode_Rendering(this, snapshot(), options, resources)
+  def rendering(): VSCode_Rendering = new VSCode_Rendering(this, snapshot(), resources)
 }