Andry Ogorodnik
3c5018677b
Support gprbuild's configuration file
...
`gprConfigurationFile` configuration option can be used to set
configuration file name that will be passed to GPR2
For eng/ide/gnatstudio#453
2024-12-16 08:34:54 +00:00
Elie Richa
08cf8e9c48
Fix lint errors
...
For eng/ide/ada_language_server#1557
2024-12-09 12:20:51 +00:00
Anthony Leonardo Gracio
77efaa0df1
Improvements regarding predefined debug configurations
...
* Enable pretty printing for 'attach' config
* disable 'catch all exceptions' too
* Synchonize completion snippets with default configurations
For eng/ide/ada_language_server#1548
2024-12-06 17:12:56 +00:00
Elie Richa
98ec0eed0e
Support resetting settings to the initial state
2024-12-05 11:06:52 +00:00
Elie Richa
5fd977af24
Document logThreshold setting and expose it in VS Code
2024-12-05 11:06:52 +00:00
Elie Richa
2c9cc112b6
Create a JSON Schema for ALS settings files
2024-12-05 11:06:52 +00:00
Elie Richa
0a38275698
Test the interaction between .als.json and VS Code settings
2024-12-05 11:06:52 +00:00
Elie Richa
faf22c6a22
Relocate VS Code test workspaces under each testsuite
2024-12-05 11:06:52 +00:00
Elie Richa
abc3abcd18
Adjust VS Code tests according to new settings defaults
2024-12-05 11:06:51 +00:00
Elie Richa
a574a09832
Default all VS Code settings to null to avoid overriding ALS parsed config
2024-12-05 11:06:51 +00:00
Anthony Leonardo Gracio
116f3cdf80
Enable 'showNotificationsOnErrors' to ALS developers
...
This makes ALS request failures more visible when developing.
For eng/ide/ada_language_server#1510
2024-12-04 09:15:22 +00:00
Anthony Leonardo Gracio
fdab44f675
Add a setting to disable popups on LSP errors
...
And disable it by default: these error popups are too noisy for
normal users.
We still have ALS logs and traces output from VS Code when we need
to investigate deeper.
For eng/ide/ada_language_server#1510
2024-12-04 09:15:22 +00:00
Anthony Leonardo Gracio
c1d53cc1b5
Remove mention of package-managers to install GNAT
...
This is not working due to:
https://gitlab.adacore-it.com/eng/gpr/gpr-issues/-/issues/60
For eng/ide/ada_language_server#1514
2024-11-28 14:47:09 +00:00
Elie Richa
19f51ec92f
Include ada.* settings in the VS Code initialize request
...
For eng/ide/ada_language_server#1425
2024-11-28 11:08:23 +00:00
Guillaume Rivier
868146284f
Add --root to GNAT SAS report task to correctly resolve URIs
...
Closes https://gitlab.adacore-it.com/eng/ide/ada_language_server/-/issues/1483
2024-11-28 00:55:19 +00:00
Anthony Leonardo Gracio
0872fc5c00
Clarify documentation avout VS Code remote environment setup
...
For eng/ide/ada_language_server#1513
2024-11-19 17:08:43 +00:00
Anthony Leonardo Gracio
8df82f0a14
Override default indentation settings for Ada
...
For eng/ide/ada_language_server#1500
2024-11-13 14:09:15 +00:00
Elie Richa
9dc0b47dbc
Add test for GPR syntax highlighting
2024-11-07 17:51:26 +00:00
Elie Richa
7debb70dd8
Support top-level case construct in GPR syntax highlighting
2024-11-07 17:51:26 +00:00
Anthony Leonardo Gracio
96af0fa384
Add editor contextual menus for some Ada commands
...
We now have editor contextual menus for 'ada.otherFile' and
'ada.subprogramBox' commands. Adjust the filter for 'ada.subprogramBox':
this command is only valid from editors opened for Ada files.
Closes eng/ide/ada_language_server#1477
2024-10-16 15:07:11 +00:00
Elie Richa
352fa00b3e
Avoid running the Prove codelens with no problem matchers
...
For eng/ide/ada_language_server#1330
2024-10-16 11:04:44 +00:00
Anthony Leonardo Gracio
63abc7cde7
Exclude vsce package on Windows from licence checking
...
As it's already done for the Linux package. This package
is not distributed but only used for development purposes.
2024-10-10 10:43:45 +00:00
Anthony Leonardo Gracio
c107c6ef7d
Fix errors reported by cilint
2024-10-10 10:43:45 +00:00
Anthony Leonardo Gracio
5fcc98c6b4
Update ESLint config file
2024-10-10 10:43:45 +00:00
Elie Richa
9aec1184d6
Create a LSP command to open ALS log file
2024-10-08 12:33:54 +00:00