client: expose lens configuration option

GaloisInc · Nov 5, 2024 · 1371a20 · 1371a20
1 parent ca7863b
commit 1371a20
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/cn-lsp/client/package.json b/cn-lsp/client/package.json
@@ -38,6 +38,11 @@
                     "type": "boolean",
                     "default": false,
                     "description": "Run CN whenever a file is saved"
+                },
+                "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."
                 }
             }
         },