Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[Enhancement]: Show status of ALS in the status bar #1215

Open
mgrojo opened this issue Oct 13, 2024 · 3 comments
Open

[Enhancement]: Show status of ALS in the status bar #1215

mgrojo opened this issue Oct 13, 2024 · 3 comments
Assignees
@AnthonyLeonardoGracio
Labels
enhancement

Comments

@mgrojo
Copy link

mgrojo commented Oct 13, 2024

Enhancement Request

The C/C++ extension shows the status of the features in the status bar.

imagen

It would be nice to have the same for ALS, since sometimes you don't know why it isn't yet completing.
@mgrojo mgrojo added the bug label Oct 13, 2024
@AnthonyLeonardoGracio
Copy link
Collaborator

AnthonyLeonardoGracio commented Oct 24, 2024 •
edited
Loading

Hello! That's an interesting idea, we'll have a look. I'll mark it as an enhancement.

Regards,

@mgrojo
Copy link
Author

mgrojo commented Oct 24, 2024

Great.

Note that the bug label was added automatically, even when the template was for an enhancement suggestion. There might be an issue in the template.

@AnthonyLeonardoGracio
Copy link
Collaborator

Great.

Note that the bug label was added automatically, even when the template was for an enhancement suggestion. There might be an issue in the template.

Ah thank you, I'll have a look then

adacore-bot pushed a commit that referenced this issue Oct 24, 2024
@AnthonyLeonardoGracio
Fix 'enhancement' GitHub template
871b232 
Use the 'enhancement' label instead of 'bug'.

Mentioned on #1215

(no-issue-check)
@AnthonyLeonardoGracio AnthonyLeonardoGracio self-assigned this Nov 22, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@AnthonyLeonardoGracio AnthonyLeonardoGracio

Labels
enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@AnthonyLeonardoGracio @mgrojo