Commit 26c1fef
committed
Change priorities of GPR-based commands
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#14731 parent ea839bb commit 26c1fef
File tree
3 files changed
+3
-3
lines changed- source/ada
3 files changed
+3
-3
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
41 | 41 | | |
42 | 42 | | |
43 | 43 | | |
44 | | - | |
| 44 | + | |
45 | 45 | | |
46 | 46 | | |
47 | 47 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
43 | 43 | | |
44 | 44 | | |
45 | 45 | | |
46 | | - | |
| 46 | + | |
47 | 47 | | |
48 | 48 | | |
49 | 49 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
47 | 47 | | |
48 | 48 | | |
49 | 49 | | |
50 | | - | |
| 50 | + | |
51 | 51 | | |
52 | 52 | | |
53 | 53 | | |
| |||
0 commit comments