Syntax Highlighting (in VS-Code) for Z^3 Language - Revision history

Vishwa: /* 4. Test the Syntax Highlighting */

2025-06-13T01:53:51Z

4. Test the Syntax Highlighting

2025-06-13T01:52:54Z

3. Launch Extension Development Host

2025-06-13T01:52:13Z

3. Launch Extension Development Host

2025-06-13T01:51:52Z

2. Open in VS Code

2025-06-13T01:49:37Z

1. Clone the Repository

2025-06-13T01:49:11Z

1. Clone the Repository

2025-06-12T04:08:16Z

ZCubes Syntax Highlighting for VS Code

2025-06-12T04:07:11Z

ZCubes Syntax Highlighting for VS Code

2025-06-12T04:06:20Z

ZCubes Syntax Highlighting for VS Code

2025-06-12T04:04:41Z

ZCubes Syntax Highlighting for VS Code

@@ Line 33: / Line 33: @@
 === 4. Test the Syntax Highlighting ===
 In the Extension Development Host window:
-Create a new file with a ZCubes extension:
+Create a new file (it does not matter where you create this new file) with a ZCubes extension:
 #* <code>.z3</code> files
 #* <code>.zc</code> files

@@ Line 23: / Line 23: @@
 === 3. Launch Extension Development Host ===
 Once the project is open in VS Code:
 Press '''F5''' or go to '''Run''' → '''Start Debugging'''
 This will open a new VS Code window titled '''Extension Development Host'''

@@ Line 29: / Line 29: @@
 manually add the extension debugger. A guide on how to do that can be found [https://code.visualstudio.com/api/extension-guides/debugger-extension#:~:text=Switch%20to%20the%20Run%20and,create%20a%20default%20launch%20configuration. here]
 [[File:Extension-syntaxhighlighter.png|thumb]][[File:launchjson-syntaxhighlighter.png|thumb]]
 === 4. Test the Syntax Highlighting ===
 In the Extension Development Host window:

@@ Line 19: / Line 19: @@
 Open VS Code
 Go to '''File''' → '''Open Folder'''
-Select the cloned extension directory
+Select the cloned extension directory. Regardless, Open the entire folder (or root folder in other words) on vscode. If done correctly, you should see exactly 7 files and 2 folders.
 === 3. Launch Extension Development Host ===
 Once the project is open in VS Code:

@@ Line 10: / Line 10: @@
 [[File:gitexample-syntaxhighlighter.png|thumb]]
 First, clone the ZCubes syntax highlighting extension repository to your local machine: <syntaxhighlight lang="bash">
-git clone https://github.com/Vishwa18K/z3.git. As shown in the screenshot, Be sure to be exact with filename and git links.
+git clone https://github.com/Vishwa18K/z3.git.
 cd zcubes-syntax-highlighting
 </syntaxhighlight>
 === 2. Open in VS Code ===

← Older revision		Revision as of 04:08, 12 June 2025
Line 42:		Line 42:
	</script>		</script>
	</syntaxhighlight>		</syntaxhighlight>
		+
		+	[[File:SyntaxHighlight-Example.png\|thumb]]

@@ Line 8: / Line 8: @@
 == Installation Steps ==
 === 1. Clone the Repository ===
-[[File:gitexample-syntaxhighlighter|thumb]]
+[[File:gitexample-syntaxhighlighter.png|thumb]]
 First, clone the ZCubes syntax highlighting extension repository to your local machine: <syntaxhighlight lang="bash">
-git clone https://github.com/Vishwa18K/Z3-Syntax-Highlighter.git
+git clone https://github.com/Vishwa18K/Z3-Syntax-Highlighter.git. Be sure o be exact with filename and git links.
 cd zcubes-syntax-highlighting
 </syntaxhighlight>
@@ Line 25: / Line 25: @@
 and under the drop down menu at the top and make sure it says 'Run extension debugger'. If it's not there then you have to
 manually add the extension debugger. A guide on how to do that can be found [https://code.visualstudio.com/api/extension-guides/debugger-extension#:~:text=Switch%20to%20the%20Run%20and,create%20a%20default%20launch%20configuration. here]
-[[File:Extension-syntaxhighlighter.png|thumb]][[File:[[File:gitexample-syntaxhighlighter.png|thumb]]
+[[File:Extension-syntaxhighlighter.png|thumb]][
 === 4. Test the Syntax Highlighting ===
 In the Extension Development Host window: