Skip to content

Commit 5a8aa2c

Browse files
Mention the Status Bar in documentation
With a .gif showing it. For eng/ide/ada_language_server#1520
1 parent c1da4a3 commit 5a8aa2c

File tree

2 files changed

+6
-0
lines changed

2 files changed

+6
-0
lines changed

README.md

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -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)