cullmann added a comment.
I have no idea how they do that, but we paint line by line ourself, if we just change the height, you get interleaved "something" between the lines. And I don't see a benefit in supporting that at all, how should the user set it to the "right value" if it can differ per line? I added now a cut down example of the xml file from bug 404713 to our repo: cdf03c8546bdeefae9b52bd2600f29d8e06f7493 <https://phabricator.kde.org/R39:cdf03c8546bdeefae9b52bd2600f29d8e06f7493> Just search for 404713 in that file and you will get above the line that either overpaints or is cut. REPOSITORY R39 KTextEditor REVISION DETAIL https://phabricator.kde.org/D19283 To: cullmann, dhaumann Cc: rjvbb, loh.tar, thomassc, kwrite-devel, kde-frameworks-devel, domson, michaelh, ngraham, bruns, demsking, cullmann, sars, dhaumann
