Bo Peng wrote:
>> } else if (token == "\\newpage") {
>> par.insertInset(par.size(), new InsetPagebreak, font,
>> change);
>>
>> should be InsetNewpage
>
> I do not quite get it. You mean the original code for newpage is broken?No. It looks like the two are exchanged in the patch. Georg
