lyxscale = lex.getInteger();
} else if (token == "display") {
lex.next();
- string const type = lex.getString();
display = lex.getString() != "false";
} else if (token == "scale") {
lex.next();
}
// Paranoia check.
- int const width = pars.bb.xr.inBP() - pars.bb.xl.inBP();
- int const height = pars.bb.yt.inBP() - pars.bb.yb.inBP();
-
- if (width < 0 || height < 0) {
+ if (pars.bb.xr.inBP() < pars.bb.xl.inBP()
+ || pars.bb.yt.inBP() < pars.bb.yb.inBP()) {
pars.bb.xl = Length();
pars.bb.xr = Length();
pars.bb.yb = Length();