# HG changeset patch
# User Thomas Lindae <thomas.lindae@in.tum.de>
# Date 1721401700 -7200
# Node ID aa77be3e83296090c7444788e55727044d50d748
# Parent  132080f5d15cabc455e7dd0a37a8ad6bff6a228f
lsp: added additional commit characters to immediate completions;

diff -r 132080f5d15c -r aa77be3e8329 src/Tools/VSCode/src/vscode_rendering.scala
--- a/src/Tools/VSCode/src/vscode_rendering.scala	Thu Jul 18 23:02:49 2024 +0200
+++ b/src/Tools/VSCode/src/vscode_rendering.scala	Fri Jul 19 17:08:20 2024 +0200
@@ -109,6 +109,8 @@
             results match {
               case None => Nil
               case Some(result) =>
+                val commit_characters = (' ' to '~').toList.map(_.toString)
+
                 result.items.map(item => {
                   val kind = item.description match {
                     case _ :: "(keyword)" :: _ => LSP.CompletionItemKind.Keyword
@@ -121,7 +123,7 @@
                     detail = Some(item.description.mkString(" ")),
                     filter_text = Some(item.original),
                     commit_characters =
-                      if (result.unique && item.immediate) Some(List(" ")) else None,
+                      if (result.unique && item.immediate) Some(commit_characters) else None,
                     text = Some(item.replacement),
                     range = Some(doc.range(item.range)),
                   )