I would like to be able to change the height of the lines in the editors

[rodrigopmatias]

I have a visual impairment that makes it very tiring to see very condensed lines of text, so I would like to propose that there be a setting where I can set the height of the lines.

As they use CodeMirror this is possible by changing the line-height value for the CSS selector .CodeMirror pre.CodeMirror-line, .CodeMirror pre.CodeMirror-line-like, in the end this would be similar to text editors that we have on the market.