>>>>> "Dov" == Dov Feldstern <[EMAIL PROTECTED]> writes:

Dov> Attached is the patch using current_font. Is this Okay?

The patch is definitely correct. Please apply.

Dov> I actually wanted to solve this in a more complete way, by
Dov> setting the font to current_font directly within
Dov> paragraph::insertInset() if no explicit font is provided; but I
Dov> don't have access to real_current_font within Paragraph... Any
Dov> thoughts on this? 

No, Paragraph is not supposed to have access to this font.

Dov> Could the versions of insertInset which do not take a font be
Dov> made private, so that one would always have to provide a font
Dov> explicitly? 

Yes, I think we should do this (or even check whether these versions
are useful at all).

JMarc


Reply via email to