Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified signature;
authorwenzelm
Sun, 02 Nov 2025 22:48:46 +0100
changeset 83459 3f3857a8024c
parent 83458 39829ff278e7
child 83460 613c26246717
clarified signature;
src/Tools/VSCode/extension/src/lsp.ts file | annotate | diff | comparison | revisions
src/Tools/VSCode/extension/src/symbol_panel.ts file | annotate | diff | comparison | revisions 
--- a/src/Tools/VSCode/extension/src/lsp.ts	Sun Nov 02 16:18:56 2025 +0100
+++ b/src/Tools/VSCode/extension/src/lsp.ts	Sun Nov 02 22:48:46 2025 +0100
@@ -159,7 +159,7 @@
 export const symbols_response_type =
   new NotificationType<Symbols_Response>("PIDE/symbols_response");
 
-export const symbols_request_type =
+export const symbols_panel_request_type =
   new NotificationType<void>("PIDE/symbols_panel_request")
 
 
--- a/src/Tools/VSCode/extension/src/symbol_panel.ts	Sun Nov 02 16:18:56 2025 +0100
+++ b/src/Tools/VSCode/extension/src/symbol_panel.ts	Sun Nov 02 22:48:46 2025 +0100
@@ -31,7 +31,7 @@
 
   request( language_client: LanguageClient) {
     if (language_client) {
-      this._language_client.sendNotification(lsp.symbols_request_type);
+      this._language_client.sendNotification(lsp.symbols_panel_request_type);
     }
   }
isabelle