Ada & SPARK VS Code Extension User's Guide
Contents:
User's Guide
Tutorial: Using Ada in VS Code
Refactoring Tools
Tips and Tricks
Custom colors
GNAT Project files support
Set workspace-specific environment variables
Working on a remote machine
Ada Language Server Settings
ALS Traces
Language Server Protocol Extensions
Ada & SPARK VS Code Extension User's Guide
Tips and tricks
View page source
Tips and tricks
Contents:
Custom colors
Supported token types
Supported token modifiers
Example
GNAT Project files support
Set workspace-specific environment variables
Prerequisites
How to set environment variables
Example
Working on a remote machine
Prerequisites
Configure your SSH targets
Connect to a remote machine
Useful links
A short demo: