ada/ada_language_server
0
0
Fork 0
mirror of https://github.com/AdaCore/ada_language_server.git synced 2026-02-12 12:45:50 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
ada_language_server/source/client
History
Boulanger 893923eb62 Improve settings related to diagnostics 
Add setting to control "gpr file diagnostics"

Automatically refresh all the diagnostics when changing the
settings.

Add a test.

For eng/ide/ada_language_server#1455
2025-03-07 09:48:59 +00:00
..
lsp-clients-request_handlers.ads
T826-024 Add missing server->client requests
2021-02-12 19:05:32 +02:00
lsp-clients-response_handlers.ads
T826-031 Allow to generate custom request identifiers.
2020-09-02 17:09:37 +03:00
lsp-clients.adb
Improve settings related to diagnostics
2025-03-07 09:48:59 +00:00
lsp-clients.ads
Improve settings related to diagnostics
2025-03-07 09:48:59 +00:00
lsp-raw_clients.adb
Improve settings related to diagnostics
2025-03-07 09:48:59 +00:00
lsp-raw_clients.ads
Improve settings related to diagnostics
2025-03-07 09:48:59 +00:00