: "\\vspace{" + len_.asLatexString() + '}';
default:
- LASSERT(false, /**/);
- return string();
+ LATTEST(false);
+ // fall through in release mode
}
+ return string();
}
return result;
}
+
int VSpace::inPixels(BufferView const & bv) const
{
// Height of a normal line in pixels (zoom factor considered)
case DEFSKIP:
return bv.buffer().params().getDefSkip().inPixels(bv);
- // This is how the skips are normally defined by LateX.
+ // This is how the skips are normally defined by LaTeX.
// But there should be some way to change this per document.
case SMALLSKIP:
- return default_height / 4;
+ return int(default_height / 4);
case MEDSKIP:
- return default_height / 2;
+ return int(default_height / 2);
case BIGSKIP:
return default_height;
return len_.len().inPixels(bv.workWidth());
default:
- LASSERT(false, /**/);
- return 0;
+ LATTEST(false);
+ // fall through in release mode
}
+ return 0;
}