-
Notifications
You must be signed in to change notification settings - Fork 29.7k
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
Expose glyphMargin
support to extensions
#47559
Comments
(Experimental duplicate detection) |
Is this something a PR would be accepted for? /cc @jrieken |
The glyph margin is problematic because we have potentially N decorations fighting for the rendering space of 1 decoration. It is unclear when N > 1 which of the decorations should win (in terms of rendering and of interaction). |
What I would like to personaly see is the ability to modify the default click action (via settings of course). |
It LOOKS like extensiosn CAN already put glyphs in the margin, so THAT isn't an issue anymore. |
@Relequestual can you share which api does this? |
perhaps this could be solved with an indicator that there are multiple glyphs, and then when the mouse hovers over, fan them out so they can be selected individually. we actually implemented something like this in the Atom editor years ago and it worked out very well. |
See #114776 |
It would be great if extension were able to use the built-in glyphMargin decorations -- i.e. clickable decorations in the gutter.
The text was updated successfully, but these errors were encountered: