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

Change priorities of GPR-based commands

Browse Source 
These commands can be executed immediately to unblock
the Ada & SPARK VS Code extension when some Ada file
editors are already opened.

This allows to speed-up the extension's initialization, triggering
the indexing sooner.

For eng/ide/ada_language_server#1473
This commit is contained in:
Anthony Leonardo Gracio
2024-10-22 14:53:10 +00:00
parent ea839bbf03
commit 26c1fefa88
3 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
source/ada/lsp-ada_handlers-executables_commands.ads
View File

@@ -41,7 +41,7 @@ private
overriding function Priority (Self : Command)
return LSP.Server_Jobs.Job_Priority
is (LSP.Server_Jobs.Low);
is (LSP.Server_Jobs.Immediate);
for Command'External_Tag use "als-executables";

2
source/ada/lsp-ada_handlers-other_file_commands.ads
View File

@@ -43,7 +43,7 @@ private
overriding function Priority (Self : Command)
return LSP.Server_Jobs.Job_Priority
is (LSP.Server_Jobs.Low);
is (LSP.Server_Jobs.Immediate);
for Command'External_Tag use "als-other-file";

2
source/ada/lsp-ada_handlers-show_dependencies_commands.ads
View File

@@ -47,7 +47,7 @@ private
overriding function Priority (Self : Command)
return LSP.Server_Jobs.Job_Priority
is (LSP.Server_Jobs.Low);
is (LSP.Server_Jobs.Immediate);
for Command'External_Tag use "als-show-dependencies";