Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/VSCode/src/language_server.scala
changeset 83460 613c26246717
parent 83456 8260cd98a7bc
child 83462 b6916f2ff672 
--- a/src/Tools/VSCode/src/language_server.scala	Sun Nov 02 22:48:46 2025 +0100
+++ b/src/Tools/VSCode/src/language_server.scala	Sun Nov 02 23:06:26 2025 +0100
@@ -537,8 +537,8 @@
           case LSP.Symbols_Convert_Request(id, text, boolean) =>
             symbols_convert_request(id, text, boolean)
           case LSP.Preview_Request(file, column) => preview_request(file, column)
-          case LSP.Symbols_Panel_Request => symbols_panel_request()
-          case LSP.Documentation_Request => documentation_request()
+          case LSP.Symbols_Panel_Request() => symbols_panel_request()
+          case LSP.Documentation_Request() => documentation_request()
           case LSP.Sledgehammer_Provers_Request() => sledgehammer.provers()
           case LSP.Sledgehammer_Request(args) => sledgehammer.request(args)
           case LSP.Sledgehammer_Cancel() => sledgehammer.cancel()
isabelle