Paragraph const & par = paragraphs.at(pit);
// FIXME This check should not really be needed.
// Perhaps we should issue an error if it is.
- Layout const style = text.inset().forcePlainLayout() ?
+ Layout const & style = text.inset().forcePlainLayout() ?
bparams.documentClass().plainLayout() : par.layout();
if (style.inpreamble)
// Is this really needed ? (Dekel)
// We do not need to use to change the font for the last paragraph
// or for a command.
+ // Spitz: We need for the last par, actually. See #9231.
Font const font = par.empty()
? par.getLayoutFont(bparams, outerfont)
bool const is_command = style.isCommand();
if (style.resfont.size() != font.fontInfo().size()
- && nextpar
&& !is_command) {
os << '{';
os << "\\" << from_ascii(font.latexSize()) << " \\par}";