Le 26/03/2016 20:58, Kornel Benko a écrit :
Much more of output, but this time not always the same.
insetfont: Roman, Medium, Upright, Tiny, none, Emphasis Off, Underline Off,
Strikeout Off, Double underline Off, Wavy underline Off, Noun Off,
The problem is this one. The inset font of the main inset should
definitely not be in tiny font.
Try this patch instead, which shows the font size of the default
insetlayout. Here I have (lots of)
plain insetlayout fontsize: 12
This is INHERIT_SIZE. The font of the default inset layout should be
all_inherit.
I suspect a compiler bug. What is your compiler? Can you try another one?
JMarc
