Add option to use bolder folding markers in the margin#155
Add option to use bolder folding markers in the margin#155augiedoggie wants to merge 1 commit intoKapiX:masterfrom
Conversation
|
This one is a bit more of a work-in-progress. It functions fine but I wasn't sure where to put the checkbox in the preferences window and so on... The normal stroke width of 1 pixel makes it almost impossible to see the |
augiedoggie
force-pushed
the
bold-fold-markers
branch
from
bf1eb18 to
ff3a3ff
Compare
KapiX
left a comment
KapiX
left a comment
There was a problem hiding this comment.
It probably should depend on font size alone, but looking at the code I don't have any immediate solutions in mind. Is this good to go?
It works but the bold size looks a bit strange on a standard DPI display. I'd like to tweak it a bit and see if I can get it to look better. |
|
I'm having trouble getting the bold markers to look good on my desktop machine. I'll probably close this PR while I think about it some more. |
2 participants
No description provided.