How to adjust the line height of the editor font?
zangbob opened this issue · 1 comments
I love this software very, very much and have said goodbye to Evernote.
But there is a problem that bothers me: how should I adjust the line height of the text displayed in the editor?
I even went through all the configuration of Themes and couldn't find it.
If it is not very troublesome, can this option be added?
By the way, how can I modify the editor's margins?
I copied default.xml and created a new theme, but trying to modify the margins failed to take effect
Hmm I think currently the line height comes directly from scintilla (which uses the font size probably).
I can look into it - but I don't think I can manually adjust it.
Same is true for the number-panel margin (I think this should be easier - but currently its not possible to change it via themes)
btw sorry I didn't respond earlier - it seems github stopped sending me emails when issues are created?