src/Tools/VSCode/src/protocol.scala

   sealed case class CompletionItem(
     label: String,
     kind: Option[Int] = None,
     detail: Option[String] = None,
     documentation: Option[String] = None,
-    insertText: Option[String] = None,
+    text: Option[String] = None,
     range: Option[Line.Range] = None,
     command: Option[Command] = None)
   {
     def json: JSON.T =
       Map("label" -> label) ++
       JSON.optional("kind" -> kind) ++
       JSON.optional("detail" -> detail) ++
       JSON.optional("documentation" -> documentation) ++
-      JSON.optional("insertText" -> insertText) ++
+      JSON.optional("insertText" -> text) ++
       JSON.optional("range" -> range.map(Range(_))) ++
       JSON.optional("textEdit" ->
-        range.map(r => Map("range" -> Range(r), "newText" -> insertText.getOrElse(label)))) ++
+        range.map(r => Map("range" -> Range(r), "newText" -> text.getOrElse(label)))) ++
       JSON.optional("command" -> command.map(_.json))
   }
 
   object Completion extends RequestTextDocumentPosition("textDocument/completion")
   {