src/Tools/VSCode/src/vscode_rendering.scala
changeset 67005 11fca474d87a
parent 66235 d4fa51e7c4ff
child 67824 661cd25304ae
     1.1 --- a/src/Tools/VSCode/src/vscode_rendering.scala	Sat Nov 04 17:11:21 2017 +0100
     1.2 +++ b/src/Tools/VSCode/src/vscode_rendering.scala	Sat Nov 04 18:57:49 2017 +0100
     1.3 @@ -97,7 +97,7 @@
     1.4  
     1.5          val syntax = model.syntax()
     1.6          val syntax_completion =
     1.7 -          syntax.completion.complete(history, unicode = false, explicit = true,
     1.8 +          syntax.complete(history, unicode = false, explicit = true,
     1.9              line_start, doc.lines(line).text, caret - line_start,
    1.10              language_context(caret_range) getOrElse syntax.language_context)
    1.11