--- a/src/Tools/VSCode/src/vscode_rendering.scala Fri Aug 19 16:19:59 2022 +0200
+++ b/src/Tools/VSCode/src/vscode_rendering.scala Fri Aug 19 16:46:00 2022 +0200
@@ -89,7 +89,7 @@
def completion(node_pos: Line.Node_Position, caret: Text.Offset): List[LSP.CompletionItem] = {
val doc = model.content.doc
val line = node_pos.pos.line
- val unicode = node_pos.name.endsWith(".thy")
+ val unicode = File.is_thy(node_pos.name)
doc.offset(Line.Position(line)) match {
case None => Nil
case Some(line_start) =>