-
Notifications
You must be signed in to change notification settings - Fork 3.4k
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
Line number gutter width control #7334
Comments
Option to turn off the folding arrow area would be nice as well. |
The "line number" column is huuuuge! |
Hi! I've been trying out zed today and really enjoying it. The number column is however bonkers and is taking up 8% of my screen! If a first step was to even just have an option to hide the line numbers, that would be great |
@Caleb-T-Owens you can turn on/off line numbers with |
Thanks @krstp and @SomeoneToIgnore ; Disabling code actions and folds seems like the best options for me 👍 |
Another request to add adjustable gutter width. Thank you. |
The current logic is explicitly reserving 4 digits of line number space to avoid resizing the gutter as more lines are added. This was done explicitly in #4135. It seems like either not reserving anything, or maybe just reserving two or three digits would be preferable for some folks. Seems like the transition from 999 lines to 1000 is likely pretty rare, and some gutter size jump might be acceptable. |
It is using the letter 'm', which for a proportional font would likely be fair bit wider than the widest digit.
I believe the choice to use such a large width is specifically to avoid the visual jumps when the file goes from 9 -> 10 lines, from 99 -> 100, and 999 -> 1000, etc. Looks like VSCode has similar logic, although they only reserve 3 characters of width, not 4. |
This comment was marked as spam.
This comment was marked as spam.
Especially for those using relative line numbers |
This comment was marked as spam.
This comment was marked as spam.
I found that the width of ‘m’ is used to get the width of a digit. More information and an argument similar to yours is in my comment to the mentioned pull request #4135. |
I've found this to be a pretty okay workaround meanwhile. In If you actively use just your keyboard, |
Check for existing issues
Describe the feature
I would like to be able to control the line-number gutter
width
.If applicable, add mockups / screenshots to help present your vision of the feature
Now it is:
where I would like to be able to narrow it to something like this:
The text was updated successfully, but these errors were encountered: