How to adjust the line height of the editor font?

[zangbob]

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

[Mikescher]

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?