// 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}";
- Do not sort advanced listings settings, since their insertion order is
relevant (bug 5203).
+- Fix wrong line spacing in last paragraph of a document if the font size
+ is non-normal (bug 9231).
+
* LYX2LYX