>>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes:
>> So, I believe I understand the problem. But how to fix it?
Martin> I believe I know that too: noFontChange(). The attached fixes
Martin> the reported bug. I'll commit it soon to 1.5 and 1.4 if I hear
Martin> no objection.
Martin> + bool noFontChange() const { return true; }
Should you be a bit more subtle and use the box parameters to see
whether the box can contain several paragraphs?
Hmm, now that I think of it, any text can contain an inset which in
turn has several paragraphs. So your version is probably safer.
You can apply to 1.4, as far as I am concerned.
JMarc
