Ada & SPARK extension for VS Code
Contents:
Tutorial: Using Ada in VS Code
Refactoring Tools
Ada Language Server configuration
ALS Traces
Tips and tricks
Custom colors
GNAT Project files support
Set workspace-specific environment variables
Working on a remote machine
Protocol extensions
Ada & SPARK extension for VS Code
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: