-
-
Notifications
You must be signed in to change notification settings - Fork 2.5k
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
Make gutters more configurable #1188
Comments
I was thinking the config could be a |
Then you could have a |
Okay, I'll see if I can get something going, thank you for the feedback! |
+1 for disabling line numbers as a feature (Or is this possible now? - I wasn't able to find the config option). In an editor which supports jumping to lines this easily they're kind of a waste of space (unless you're screen sharing and talking about the code) |
#1967 addressed the configuration part of this. |
What's still missing in #1967 is configuring the features of each gutter (what e.g. |
Gutters a re pretty flexible now, this issue is old and too general so I am closing it. If you are missing some specific gutter config open a new issue for that |
Following up on #783.
Gutters are potentially useful for a variety of purposes, we should make them more configurable.
from previous comments : "...if a user wanted to use the column in the editor to have a
git diff
type display ala the vim git gutter plugin, or agit annotate
type feature to familiarize themselves with the history of a file from a certain perspective, or even possibly being able to manipulate the column directly for some kind of bespoke user-annotation that could be made on the fly."and : "...these types of gutter components give us more flexibility to allow for configuring the gutter (like disabling line numbers) or using different gutters per document (for example getting rid of diagnostics on docs with no LSP) as well as defining new types of gutters in the future (i.e. git gutter)"
The text was updated successfully, but these errors were encountered: