src/Tools/VSCode/src/server.scala

--- a/src/Tools/VSCode/src/server.scala	Thu Dec 29 21:54:04 2016 +0100
+++ b/src/Tools/VSCode/src/server.scala	Thu Dec 29 22:10:29 2016 +0100
@@ -101,7 +101,7 @@
   def rendering_offset(node_pos: Line.Node_Position): Option[(VSCode_Rendering, Text.Offset)] =
     for {
       model <- resources.get_model(node_pos.name)
-      rendering = model.rendering(options)
+      rendering = model.rendering()
       offset <- model.doc.offset(node_pos.pos)
     } yield (rendering, offset)