@b4n approved this pull request.
OK, I don't get why this extra pixel would be needed without looking at Scintilla's code (which is kind of scary in this area), but the change is innocent enough and indeed fixes the issue for me too.
Good job
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.