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

Allow to use codicons for the gutter decorations #143774

Open
PEZ opened this issue Feb 23, 2022 · 0 comments
Open

Allow to use codicons for the gutter decorations #143774

PEZ opened this issue Feb 23, 2022 · 0 comments
Labels
editor-api Issues about the API of vscode in the area of editors editor-rendering Editor rendering issues feature-request Request for new features or functionality
Milestone

Comments

@PEZ
Copy link
Contributor

PEZ commented Feb 23, 2022

As an extension author
I want to use the built in codicons to decorate the gutter with the same convenience as I can use codicons in the status bar
So that the user will have a consistent UI also for gutter icons (and so that I will not have to work hard to make it so)

With ”the same convenience” I mean the super convenience with strings like '$(zap)' and '$(sync~spin)'. I realize this particular API might not be suitable, but anyway.

My use case:

In my extension the user can evaluate any code in the editor. I am decorating the code being evaluated with a transparent background and displaying the result using an :after decoration. The background decoration changes color depending on the state of the operation: PENDING => white, DONE => GREEN, ERROR => red. Looks like so:

image

This works, but there is a need for making PENDING much clearer. I am looking at the gutter and think I would like to have a spinner there while PENDING, and I could have a checkmark when DONE and a cross when ERROR. Possibly using the same colors as I do for the marking the code being evaluated.

@alexdima alexdima added editor-api Issues about the API of vscode in the area of editors feature-request Request for new features or functionality editor-rendering Editor rendering issues labels Mar 2, 2022
@alexdima alexdima added this to the Backlog milestone Mar 2, 2022
@alexdima alexdima removed their assignment Mar 2, 2022
@miguelsolorio miguelsolorio mentioned this issue Apr 5, 2022
52 tasks
@daviddossett daviddossett removed their assignment Dec 14, 2022
@aeschli aeschli removed their assignment Dec 19, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
editor-api Issues about the API of vscode in the area of editors editor-rendering Editor rendering issues feature-request Request for new features or functionality
Projects
None yet
Development

No branches or pull requests

7 participants
@PEZ @deepak1556 @alexdima @aeschli @daviddossett @miguelsolorio and others