You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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!
The text was updated successfully, but these errors were encountered:
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!
The text was updated successfully, but these errors were encountered: