[Feature request] add paddings at left and right side of texts
909101 opened this issue · comments
Thank you for your amazing work.
Is your feature request related to a problem? Please describe.
Sometimes I need to copy texts from the start of a line, but there's no padding between line number and texts so i always accidentally click on the line number area which will automatically select the whole line. This function is good, but I don't always need to select a whole line.
Describe the solution you'd like
Allowing users to add paddings between the line number area and texts (starts of lines). It would be better if the size of padding area
is adjustable.
Describe alternatives you've considered
Allowing users to disable the function of automatically selecting the whole line with clicking on the line number area.
Additional context
Im not sure if it is ok to say this but this feature can be found in notepad++. Hope this information can make adding this feature easier.
The highlighted visual line should guide you where the boundary is or you could always select from right to left. Adding a padding can only ease the problem but not solving the problem I guess.
That visual line is a good guide, but it is still easy to mistakenly click on line number area even with that line, because there's literally only 1-2 pixel between line number area and texts.
I undertand it's not easy to add a feature to create an adjustable padding, so how about just give an option which will only add un-adjustable-5-pixel padding?
I also mentioned in this issue that adding 5-pixel padding between texts and scroll bars seems neccessary, so giving that option could actually solve two problems.
Thank you for your time.