lsp: added more triggerCharacters to make completion popups more consistent;

--- 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,