Le 26/03/2016 19:47, Kornel Benko a écrit :
Well, except that font size is "Tiny" instead of "Larger"! Where does
this come from? Do you have local layout files somewhere?
No local layouts.
It is also Medium instead of Bold. Is this a section heading?
Yes. And the output does not depend of 'section' 'part' or 'standard'. Always
the same here. But on screen it is OK.
What about this second patch then (you can remove the other one)?
Also, could you try to run under valgrind to see whether there is a
uninitialized variable?
JMarc
diff --git a/src/Text2.cpp b/src/Text2.cpp
index c3d696e..5126186 100644
--- a/src/Text2.cpp
+++ b/src/Text2.cpp
@@ -64,6 +64,8 @@ bool Text::isMainText() const
}
+docstring const stateText(FontInfo const & f);
+
// Note that this is supposed to return a fully realized font.
FontInfo Text::layoutFont(pit_type const pit) const
{
@@ -71,11 +73,14 @@ FontInfo Text::layoutFont(pit_type const pit) const
if (!pars_[pit].getDepth()) {
FontInfo lf = layout.resfont;
+ lyxerr << "resfont: " << stateText(lf) << endl;
// In case the default family has been customized
if (layout.font.family() == INHERIT_FAMILY)
lf.setFamily(owner_->buffer().params().getFont().fontInfo().family());
FontInfo icf = owner_->getLayout().font();
+ lyxerr << "insetfont: " << stateText(icf) << endl;
icf.realize(lf);
+ lyxerr << "layoutfont: " << stateText(icf) << endl;
return icf;
}
