- Notifications
You must be signed in to change notification settings - Fork 64
Closed
Labels
Description
Environment
- OS and Version: Ubuntu 24.04 (both host and devcontainer)
- IDE Version: VS Code 1.98
- Ada & SPARK Extension Version: 26.0.202412191
Bug Summary and Reproducer
Bug Summary:
When the ada.useCompletionSnippets setting is unset, it defaults to true despite showing unchecked in VS Code's settings panel.
Steps to reproduce:
- Reset (not uncheck) ada.useCompletionSnippets in all setting scopes.
- Complete the name of some subprogram with parameters.
Expected behavior:
Only the subprogram name is completed, not a full snippet.
Configuration and Logs
N/A
Other VS Code Extensions
No response
Additional context
As a workaround, one can check-then-uncheck ada.useCompletionSnippets in the settings menu, or manually set it to false
in the JSON config.