# HG changeset patch
# User Thomas Lindae <thomas.lindae@in.tum.de>
# Date 1721318390 -7200
# Node ID 6aafcdc0217f1ccd04f29d524e576760dcffa4e3
# Parent  4aa4bd946f96b65c8e35ce9c2d91ba2171130897
lsp: added more triggerCharacters to make completion popups more consistent;

diff -r 4aa4bd946f96 -r 6aafcdc0217f src/Tools/VSCode/src/lsp.scala
--- a/src/Tools/VSCode/src/lsp.scala	Thu Jul 18 01:18:43 2024 +0200
+++ b/src/Tools/VSCode/src/lsp.scala	Thu Jul 18 17:59:50 2024 +0200
@@ -156,7 +156,8 @@
         "completionProvider" -> JSON.Object(
           "resolveProvider" -> false,
           "triggerCharacters" ->
-            Symbol.symbols.entries.flatMap(_.abbrevs).flatMap(_.toList).map(_.toString).distinct
+            (Symbol.symbols.entries.flatMap(_.abbrevs).flatMap(_.toList).map(_.toString)
+            ++ Symbol.symbols.entries.map(_.name).flatMap(_.toList).map(_.toString)).distinct
         ),
         "hoverProvider" -> true,
         "definitionProvider" -> true,