lyx_advance(data, 1);
return '+';
}
-
+
if (prefixIs(data, "plus")) {
lyx_advance(data, 4);
return '+';
}
-
+
if (data[0] == '-') {
lyx_advance(data, 1);
return '-';
const char * stringFromUnit(int unit)
{
- if (unit < 0 || unit >= num_units)
+ if (unit < 0 || unit > num_units)
return 0;
return unit_name[unit];
}
case VFILL:
return keep_ ? "\\vspace*{\\fill}" : "\\vfill{}";
- case LENGTH:
+ case LENGTH:
return keep_ ? "\\vspace*{" + len_.asLatexString() + '}'
: "\\vspace{" + len_.asLatexString() + '}';
int VSpace::inPixels(BufferView const & bv) const
{
// Height of a normal line in pixels (zoom factor considered)
- int const default_height = defaultRowHeight();
+ int const default_height = defaultRowHeight();
switch (kind_) {