Re: [patch] fix bug 8866

2013-11-11 Thread Richard Heck
On 11/11/2013 04:18 PM, Georg Baum wrote: When copying to the clipboard you can get a message box with an error message if the HTML conversion fails (bug 8866). Since errors are in general completely ignored for clipboard copying, I implemented that for the HTML case as well. OK to go in? Looks

[patch] fix bug 8866

2013-11-11 Thread Georg Baum
When copying to the clipboard you can get a message box with an error message if the HTML conversion fails (bug 8866). Since errors are in general completely ignored for clipboard copying, I implemented that for the HTML case as well. OK to go in? Georgdiff --git a/src/Buffer.cpp b/src/Buffer.