>>>>> "Georg" == Georg Baum <[EMAIL PROTECTED]> writes:
>> The patch may be a bit overkill, but it certainly works. Georg> It really does, I did some heavy testing, too. I added Georg> ChangeLog entries and some comments. I also readded the font Georg> settings in init(). This avoids problems if the brute force fix Georg> in doDispatch() gets removed. The patch looks good indeed (and only touches insetert, which is better). I tested it and it looks like it works. I noticed an unrelated problem: in insetert (and in LyX-Code), it is impossible to delete an empty paragraph with backspace. I thought Lars fixed this exact bug while in Paris... Georg> I think the patch is now ready for 1.4.0. Can it go in? It is up to Lars. I am not sure why the bug _has_ to be fixed in 1.4.0, but the patch is OK. JMarc
