-
Notifications
You must be signed in to change notification settings - Fork 29.3k
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
$(mark-github) in notification #145722
Comments
@bpasero (you seem to be the owner but maybe it's actually @jrieken?) I tried moving from a status bar item that handled progress to the
I don't think I have any control over this since I'm just using the If not, I can remove the |
I think we made the decision at one point to not allow icons in notifications to avoid abuse.
You mean in the status bar? |
In this case, can you strip out any icons in notifications?
Yeah. They're like right next to each other in the screenshot |
Yeah not sure why we don't do that. As for icons in the status bar: not sure what to do here, if we just add margins we might break it for existing extensions that have worked around it. |
@bpasero So one of the ways I tried to work around this was adding a space in front of the icon:
but I didn't see any noticeable change. Locally I tried adding like 100 spaces and still get: |
I have extracted the status bar issue into #145852 |
The API doc should spell out when a label supports theme icons, like here. @bpasero I not sure that simply stripping out |
Yeah thanks for reopen, the fix was not clever. Instead I am now stripping the icon only for this particular case, where a progress starts in the status bar where icons are supported and then moves to be a notification by the user clicking it. Since this is not something the extension can control, we have to strip the codicons there. But we should not strip them from all notification messages 👍 |
@TylerLeonhardt to clarify:
I will update our JSDoc too to make that clear. |
@bpasero I only use
Thanks for jumping on this! |
Yeah you are all set. |
Happens during GitHub sign in.
Not sure who provides the GitHub auth provider.
The text was updated successfully, but these errors were encountered: