Anyone else see this problem? Position the cursor on a paragraph boundary, i.e. beginning of paragraph, and press backspace. Or end of paragraph, and press delete. The paragraphs below the merged ones are not properly repainted. The attached patch fixes this.
Hi Martin, I cannot reproduce the problem. Do you have a test case? Michael
