>>>>> "John" == John Levon <[EMAIL PROTECTED]> writes:

John> On Wed, Dec 04, 2002 at 09:59:42AM +0100, Michael Schmitt wrote:
>> in the QT frontend, the "note" inset label is much larger than the
>> "footnote" inset label.

John> well, a little larger, for me. seems to be a different font
John> size. how odd

Compare InsetNote::init() with InsetFootLike::InsetFootLike.

I commited a fix.

JMarc

Reply via email to