///
InsetVSpace() : Inset(0) {}
///
- InsetVSpace(VSpace const &);
+ explicit InsetVSpace(VSpace const &);
/// How much?
VSpace const & space() const { return space_; }
///
///
void write(std::ostream & os) const;
///
- DisplayType display() const { return Display; }
+ DisplayType display() const { return AlignCenter; }
///
void doDispatch(Cursor & cur, FuncRequest & cmd);
///