src/Tools/VSCode/src/vscode_rendering.scala
changeset 66055 07175635f78c
parent 66054 fb0eea226a4d
child 66057 b8555ca0af07
equal deleted inserted replaced
66054:fb0eea226a4d 66055:07175635f78c
    92       val context = language_context(caret_range) getOrElse syntax.language_context
    92       val context = language_context(caret_range) getOrElse syntax.language_context
    93 
    93 
    94       val line = caret_pos.line
    94       val line = caret_pos.line
    95       doc.offset(Line.Position(line)) match {
    95       doc.offset(Line.Position(line)) match {
    96         case Some(line_start) =>
    96         case Some(line_start) =>
    97           syntax.completion.complete(history, false, true,
    97           syntax.completion.complete(history, unicode = false, explicit = true,
    98             line_start, doc.lines(line).text, caret - line_start, context)
    98             line_start, doc.lines(line).text, caret - line_start, context)
    99         case None => None
    99         case None => None
   100       }
   100       }
   101     }
   101     }
   102 
   102