client: expose lens configuration option

GaloisInc · Jan 24, 2025 · cbf1126 · cbf1126
1 parent 7538fa3
commit cbf1126
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/cn-client/package.json b/cn-client/package.json
@@ -49,6 +49,11 @@
                     "default": null,
                     "description": "Location of the LSP server"
                 },
+                "CN.showGillianDebugLenses": {
+                    "type": "boolean",
+                    "default": false,
+                    "description": "Show code lenses that activate Gillian debugging. Note that this functionality relies on the Gillian debugging extension (https://gillianplatform.github.io/sphinx/debugger.html) being installed, or run in a development host context."
+                },
                 "CN.telemetryDir": {
                     "type": "string",
                     "default": null,