chore(docs): document info codelens (#3252)

Co-authored-by: josh crites <[email protected]>
noir-lang · Oct 23, 2023 · 22f4930 · 22f4930
1 parent b673b07
commit 22f4930
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 1 deletion.
diff --git a/docs/docs/nargo/04_language_server.md b/docs/docs/nargo/04_language_server.md
@@ -25,7 +25,7 @@ Currently, Noir provides a Language Client for Visual Studio Code via the [vscod
 >
 > If LSP features seem to be missing / malfunctioning, make sure you are opening your Noir project directly (instead of as a sub-folder) in your VSCode instance.
 
-When you language server is running correctly and the VSCode plugin is installed, you should see handy codelens buttons for compilation, execution, and tests:
+When your language server is running correctly and the VSCode plugin is installed, you should see handy codelens buttons for compilation, measuring circuit size, execution, and tests:
 
 ![Compile and Execute](./../../static/img/codelens_compile_execute.png)
 ![Run test](../../static/img/codelens_run_test.png)

diff --git a/docs/static/img/codelens_compile_execute.png b/docs/static/img/codelens_compile_execute.png
diff --git a/docs/static/img/codelens_run_test.png b/docs/static/img/codelens_run_test.png