Skip to content

Commit 7fce258

Browse files
Merge branch 'topic/#1520' into 'master'
Mention Status Bar in documentation See merge request eng/ide/ada_language_server!1965
2 parents 5fa261b + 4461fdb commit 7fce258

File tree

2 files changed

+8
-2
lines changed

2 files changed

+8
-2
lines changed

README.md

Lines changed: 8 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -138,9 +138,9 @@ Here are some links that will help you get familiar with the VS Code extension f
138138
### Configuration
139139

140140
You can configure the extension via the `.vscode/settings.json` workspace settings file or the [multi-root workspace file](https://code.visualstudio.com/docs/editor/multi-root-workspaces).
141-
See the setting list [here](doc/settings.md).
141+
More information about settings and the different ways that can be used to specify them can be found [here](doc/settings.md).
142142

143-
Here is an example config file:
143+
Here is an example config file that sets the project file to use and the scenario variables, as well as other useful settings (charset, whether we should show file diagnostics etc.):
144144

145145
```json
146146
{
@@ -243,6 +243,12 @@ For example, if the project defines a `main1.adb` and `main2.adb` located under
243243

244244
Same thing for all the predefined tasks that can have a main specified in their command line.
245245

246+
### Status Bar
247+
248+
A status bar item displaying the project-loading status and various useful commands provided by the Ada & SPARK extension (e.g `Ada: Reload Project` to reload a project after modifying it) is displayed on the left-side of the VS Code Status Bar.
249+
250+
<img src="doc/media/status_bar.gif" width="650" alt="Ada & SPARK Status Bar Item"/>
251+
246252
### Alire Support
247253

248254
When the workspace is an Alire crate (i.e. it contains an `alire.toml` file), the extension uses Alire to determine the GPR project that should be loaded and to obtain an environment where the crate's dependencies have been provisioned.

doc/media/status_bar.gif

184 KB
Loading

0 commit comments

Comments
 (0)