|
I will at least look into what it would take to move to QTextEdit. It is just that QPlainTextEdit is supposedly optimized to work with much much larger text files than QTextEdit can handle.
So we would be trading off speed and size just to get line spacing. I am not sure that is a good tradeoff given interested users could edit a font to make that change themselves.
|