os << "\n]";
return PLAINTEXT_NEWLINE + 1; // one char on a separate line
} else {
- docstring str = '[' + getScreenLabel(buffer) + ']';
+ docstring const str = '[' + getScreenLabel(buffer) + ']';
os << str;
return str.size();
}
docstring const latex_string(InsetInclude const & inset, Buffer const & buffer)
{
odocstringstream os;
- OutputParams runparams;
+ OutputParams runparams(0);
runparams.flavor = OutputParams::LATEX;
inset.latex(buffer, os, runparams);