Improve VS Code Pages

Author: rcosta358

pages/vscode-extension/commands.md

@@ -7,23 +7,17 @@ permalink: /vscode-extension/commands/
 
 # Commands
 
-The LiquidJava VS Code extension provides commands to control the extension lifecycle and trigger verification manually. These commands make it possible to recover from startup issues, stop background activity, or rerun verification on demand.
-
-## Command Palette
-
-The extension adds a command that opens a palette listing the available LiquidJava commands. This command is executed when the status bar indicator is clicked, giving users a quick way to access extension actions from a single place.
-
-## Available Commands
-
-The following commands available are:
+The extension provides commands to control the extension lifecycle, trigger verification manually, and open the webview and output channel:
 
 | Command | Description |
 | --- | --- |
 | `Start` | Starts the LiquidJava language server and client |
 | `Stop` | Stops the LiquidJava language server and client |
 | `Restart` | Stops and then starts the LiquidJava extension |
-| `Verify` | Manually triggers verification |
+| `Verify` | Manually triggers the verification |
 | `Show Logs` | Opens the output channel with LiquidJava logs |
 | `Show View` | Opens the LiquidJava webview |
 
-![Commands Demo]({{ 'assets/vscode-extension/commands.gif' | relative_url }})
+![Commands Demo]({{ 'assets/vscode-extension/commands.gif' | relative_url }})
+
+The extension adds a command that opens a palette listing the available LiquidJava commands. This command is executed when the status bar indicator is clicked, giving users a quick way to access extension actions.

pages/vscode-extension/index.md

@@ -33,6 +33,6 @@ cards:
 
 The LiquidJava VS Code extension integrates the verifier into the editor, with real-time diagnostic reporting, syntax highlighting and autocomplete for refinements, and more.  It is built as a VS Code client and a language server that communicate through the Language Server Protocol (LSP).
 
-> You start using the extension, you can follow the setup guide [here]({{ 'getting-started/setup/#vs-code-extension' | relative_url }}).
+> To start using the extension, you can follow the setup guide [here]({{ 'getting-started/setup/#vs-code-extension' | relative_url }}).
 
 {% include card_grid.html cards=page.cards %}

pages/vscode-extension/output-channel.md

@@ -7,5 +7,5 @@ permalink: /vscode-extension/output-channel/
 
 # Output Channel
 
-The extension provides an output channel for LiquidJava logs to inspect the extension and language server activity easily when debugging issues or unexpected behavior.
+The extension provides an output channel for displaying LiquidJava logs from both the client and the language server.
 

pages/vscode-extension/status-bar-indicator.md

@@ -9,9 +9,11 @@ permalink: /vscode-extension/status-bar-indicator/
 
 The extension displays an indicator in the status bar in the bottom-left of the editor that shows the current LiquidJava state inside VS Code, with four possible states:
 
-- `loading`: The extension is starting up
-- `passed`: The verification succeeded
-- `failed`: The verification found one or more problems
-- `stopped`: The extension either was stopped, failed to connect, or lost connection with the language server.
+| Status | Description |
+| --- | --- |
+| `loading` | The extension is starting up |
+| `passed` | Verification succeeded |
+| `failed` | Verification reported one or more errors |
+| `stopped` | The extension was stopped, failed to connect, or lost connection with the language server |
 
-Clicking on this indicator shows the available LiquidJava commands, which is covered in the next section.
+Clicking on this indicator shows the available LiquidJava commands, which is covered in the next section.

pages/vscode-extension/syntax-highlighting.md

@@ -7,10 +7,8 @@ permalink: /vscode-extension/syntax-highlighting/
 
 # Syntax Highlighting for Refinements
 
-LiquidJava refinements are written inside Java string literals, which makes them easy to confuse with ordinary strings if the editor treats them as plain text. Syntax highlighting helps developers read and write these embedded specifications more confidently.
+LiquidJava refinements are written inside Java string literals, which makes them easy to confuse with ordinary strings if the editor treats them as plain text.
 
-The extension implements refinement highlighting with an injection grammar. This grammar tokenizes the refinement language inside LiquidJava annotations and lets VS Code color those tokens according to the active theme.
-
-To make refinements visually distinct from regular Java code, the highlighted refinement text is also rendered in italic. This helps separate the specification language from the surrounding Java syntax and reduces the chance of mentally mixing program code with refinement code.
+The extension implements refinement syntax highlighting which tokenizes the refinement language inside LiquidJava annotations and allows VS Code color those tokens according to the active theme. To make refinements visually distinct from regular Java code, the highlighted refinement text is also rendered in italic.
 
 ![Syntax Highlighting Demo]({{ 'assets/vscode-extension/syntax-highlighting.gif' | relative_url }})

pages/vscode-extension/webview.md

@@ -37,7 +37,7 @@ The context debugger reacts to the current editor selection:
 
 This makes it easier to inspect the relevant context for a particular code region. 
 
-### Editor Interaction
+### Variable Highlighting
 
 Clicking a variable in the context debugger highlights that variable in the editor, which helps connect the displayed context with internal variables back to the ones in the source code.