-
Notifications
You must be signed in to change notification settings - Fork 345
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 horizontal space of "Line Numbers" smaller #3837
Comments
When I remember well minimum width for the numbers is 3 digits in all cases. For documents with more than 999 lines the number of digits for the max. line number is used. The rest to the left should be for |
With your comment in #3709 I see you mean bookmarks, not labels. They do indeed show up there, didn't know that. |
You can also turn-off line numbers, so that would help. |
Didn't know these two were possible (or not how), thanks, that helped!
Those symbols only pop up when I click in the log on the warning/bad box/..., is that normal? (I hope you don't mind all the questions if this isn't the right space for it)
I turned them on, default was one of the other settings iirc. The lines are helpful when checking errors and such so I'd rather have them stay on.
I see, figured that! Thanks you two for pointing out so many other options, though. |
As there are no plans to change anything, I close this. |
Describe the feature and the current behavior/state
Currently, the Line Numbers columns are pretty wide and take away too much horizontal space.
Especially on a laptop in the 10"-14" screen size it'd be great to not waste any space. I think a few pixels would be enough.
It's currently about 3x the size of the line numbers' width in my example with the three-digit-numbers but about 5x the size for one- or two-digit numbers.
edit: I realize on the right hand side of the numbers there's the arrow to collapse or open a section, but on the left there's still a lot of unused space.
The freed up space could be used to have the PDF view larger or simply have more characters in a line before the end on the right hand side.
Who will benefit with this feature?
Everyone without a ultra widescreen monitor or just someone who likes to have a bit more horizontal space.
The text was updated successfully, but these errors were encountered: