release: v1.5.2

JetBrains-Research · Jan 15, 2024 · e798637 · e798637
1 parent de1bf2d
commit e798637
Show file tree

Hide file tree

Showing 4 changed files with 16 additions and 9 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,8 @@
 # Change Log
 
+### 1.5.2
+- Fix issue with double document symbol provider registration (@Alizter, [#9](https://github.com/JetBrains-Research/coqpilot/issues/9))
+
 ### 1.5.1
 - Add support of the Grazie platform as an llm provider.  
 

diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -8,7 +8,7 @@
     "url": "https://github.com/K-dizzled/coqpilot"
   },
   "publisher": "JetBrains-Research",
-  "version": "1.5.1",
+  "version": "1.5.2",
   "engines": {
     "vscode": "^1.82.0"
   },

diff --git a/src/coqLspClient/coqLspClient.ts b/src/coqLspClient/coqLspClient.ts
@@ -37,6 +37,10 @@ export class CoqLspClient extends LanguageClient {
             middleware: {
                 handleDiagnostics: (uri, diagnostics, _next) => {
                     logger.debug(`Diagnostics received for file ${uri}: ${diagnostics.map((d) => d.message).join(", ")}`);
+                },
+                provideDocumentSymbols: (document, _token, _next) => {
+                    logger.debug(`provideDocumentSymbols called for file ${document.uri}`);
+                    return [];
                 }
             }
         };