File tree Expand file tree Collapse file tree 1 file changed +5
-3
lines changed Expand file tree Collapse file tree 1 file changed +5
-3
lines changed Original file line number Diff line number Diff line change @@ -25,9 +25,11 @@ For Ada/SPARK, we provide the following:
25
25
26
26
The Ada Language Server now also supports the GPR language, via the
27
27
` --language-gpr ` option, providing support for the most used LSP features
28
- such as navigation, outline and tooltips for GPR files. You can refer to
29
- the [ Supported LSP Server Requests] ( #supported-lsp-server-requests ) section for more
30
- information.
28
+ such as navigation, outline and tooltips for GPR files. When this switch is
29
+ present, the server will only support GPR files. To support both GPR and
30
+ Ada/SPARK, you'll need to launch two instances of the server.
31
+ You can refer to the [ Supported LSP Server Requests] ( #supported-lsp-server-requests )
32
+ section for more information.
31
33
32
34
We also provide [ Visual Studio Code] ( https://code.visualstudio.com/ )
33
35
extension at
You can’t perform that action at this time.
0 commit comments