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.

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

Extension status bar improvements & polish #3971

Merged
merged 12 commits into from
Mar 11, 2016
Merged

Extension status bar improvements & polish #3971

merged 12 commits into from
Mar 11, 2016

Conversation

joaomoreno
Copy link
Member

related to #2835, #3540

@joaomoreno joaomoreno self-assigned this Mar 10, 2016
@joaomoreno joaomoreno added this to the March 2016 milestone Mar 10, 2016
@joaomoreno
Copy link
Member Author

Moved the status bar icon to the left. Changed how the errors are reported visually. Also that they can only be seen once, further clicks seem irrelevant, so the notification goes away as soon as it's clicked.

image

joaomoreno added a commit that referenced this pull request Mar 11, 2016
Extension status bar improvements & polish
@joaomoreno joaomoreno merged commit 9736b53 into microsoft:master Mar 11, 2016
@joaomoreno joaomoreno deleted the extensions branch March 11, 2016 10:45
@github-actions github-actions bot locked and limited conversation to collaborators Mar 27, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants