-
Notifications
You must be signed in to change notification settings - Fork 4.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
Feature Request: Adjustable empty space after margin #2323
Comments
Closing as IMO this is not worth doing. |
It appears that there IS an existing Scintilla call for this that I overlooked: https://www.scintilla.org/ScintillaDoc.html#SCI_SETMARGINLEFT So I'll remove the "Scintilla dependent" label. While I can't imagine why existing behavior would bother someone, that's just MO. I'll reopen and I'll see what I can do for this. |
I've still no idea how that could be done -- ideas from anyone?
Or this? |
It doesn't look all that great when text is selected: And, BTW, |
@morozover Hmm, 1mm, I have visions of you holding a ruler up to your screen... I'm thinking that this would have to have a preference setting controlling it, because I'm sure it will be either a users-love-it or users-hate it kind of thing. I'm thinking a checkbox turns it on or off. I'm thinking the preference belongs on the new |
@donho, what's your feeling about this? It has also come up a few times in the Community: https://community.notepad-plus-plus.org/topic/20157/how-to-add-a-gap-between-letters-and-border-of-n-window/ |
@sasumner edit: just saw that you assigned yourself - go ahead if you wanna do it, but let's talk about the settings for this feature (2 sides) before you begin. edit2: Both document map & document peeker should be aligned with 2 main editors' settings regarding this feature. |
I assign this issue to myself also so I can refind it easily. |
@donho You go ahead with this one. |
Scintilla does not provide an option for the top gap. But it could be possibly implemented by rendering the scinitilla component a bit lower. This is just an assumption, I have not checked it. |
I cannot see anybody wanting to put that kind of effort into achieving it. |
Yes, absolutely true! |
The border width setting comes close do doing what I want: to be able to adjust the empty space between the left border and the leftmost pixels of the text.
Instead of adding more empty space, however, that setting makes the border wider.
Can you add a setting (hidden or otherwise) to adjust the empty space between the left border and the leftmost pixels of the text?
(For RTL languages, replace "left" and "leftmost" with "right" and "rightmost", respectively.)
The text was updated successfully, but these errors were encountered: