[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
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

[decorations] Support hover decorations over the line numbers (i.e. gutter) #28080

Open
eamodio opened this issue Jun 6, 2017 · 4 comments
Open

[decorations] Support hover decorations over the line numbers (i.e. gutter) #28080

eamodio opened this issue Jun 6, 2017 · 4 comments
Assignees
@aeschli
Labels
api feature-request Request for new features or functionality
Milestone
Backlog

Comments

@eamodio
Copy link
Contributor
eamodio commented Jun 6, 2017
  • VSCode Version: Code - Insiders 1.13.0-insider (9a10745, 2017-06-05T18:21:57.187Z)
  • OS Version: Windows_NT ia32 10.0.16199

It would be great to be able to provide hover decorations to just the gutter -- this is something I would jump on immediately for GitLens :)
@vscodebot vscodebot bot added the insiders label Jun 6, 2017
@michelkaporin michelkaporin added api feature-request Request for new features or functionality labels Jun 6, 2017
@jrieken jrieken removed the insiders label Jun 6, 2017
@aeschli aeschli assigned alexdima and unassigned jrieken Jun 6, 2017
@aeschli
Copy link
Contributor
aeschli commented Jun 6, 2017

The internal decorators support that. We would just need to add extension host API.

@aeschli aeschli added this to the Backlog milestone Jun 6, 2017
@cdloh cdloh mentioned this issue Jul 31, 2017
Closed
@alexdima alexdima removed their assignment Nov 24, 2017
@aeschli aeschli changed the title Support hover decorations over the line numbers (i.e. gutter) [decorations] Support hover decorations over the line numbers (i.e. gutter) Dec 4, 2017
@eamodio eamodio mentioned this issue Mar 12, 2018
Closed
@alefragnani alefragnani mentioned this issue Sep 17, 2018
Closed
@eamodio
Copy link
Contributor Author
eamodio commented Oct 18, 2018

@aeschli I know this has be dormant for a while -- is this something a PR would be accepted for?

@aeschli
Copy link
Contributor
aeschli commented Oct 19, 2018

I'd say yes, but @alexandrudima What do you think?

@alexdima
Copy link
Member

PR welcome.

@alefragnani alefragnani mentioned this issue Nov 12, 2019
Closed
@eamodio eamodio mentioned this issue Apr 9, 2020
Closed
@usernamehw usernamehw mentioned this issue Dec 30, 2020
Closed
@alefragnani alefragnani mentioned this issue Jan 14, 2021
Closed
@alefragnani alefragnani mentioned this issue Dec 2, 2021
Closed
@alefragnani alefragnani mentioned this issue Feb 18, 2022
Open
@alefragnani alefragnani mentioned this issue Nov 8, 2023
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@aeschli aeschli

Labels
api feature-request Request for new features or functionality
Projects
None yet
Milestone
Backlog
Development

No branches or pull requests
5 participants
@eamodio @jrieken @michelkaporin @alexdima @aeschli