enhancement - add standard library browsing in VS code extension similar to GNAT Studio

AdaCore / ada_language_server

Server implementing the Microsoft Language Protocol for Ada and SPARK

GNU General Public License v3.0

226 stars 54 forks source link

enhancement - add standard library browsing in VS code extension similar to GNAT Studio #1191

Open dalybrown opened 3 months ago

dalybrown commented 3 months ago

The gnat files (gnat library, ada containers, etc.) all have condensed names. GNAT Studio offers a nice way to browse the standard libraries in their help menu by the actual name of the package instead of the filename.

It would be nice if the VS code extension provided that user experience. I find myself sometimes forgetting what containers exist or what gnat provides already and would be nice to have all that info handy in the extension.

Thanks!

AnthonyLeonardoGracio commented 3 months ago

Hello!

That's a good suggestion indeed, we'll see it's easily doable in VS Code too.

Regards,