InsetVSpace(VSpace const &);
///
~InsetVSpace();
+ /// How much?
+ VSpace const & space() const { return space_; }
+private:
///
- bool metrics(MetricsInfo & mi, Dimension & dim) const;
+ void metrics(MetricsInfo & mi, Dimension & dim) const;
///
void draw(PainterInfo & pi, int x, int y) const;
///
- int latex(Buffer const &, odocstream &,
- OutputParams const &) const;
+ int latex(odocstream &, OutputParams const &) const;
///
- int plaintext(Buffer const &, odocstream &,
- OutputParams const &) const;
+ int plaintext(odocstream &, OutputParams const &) const;
///
- int docbook(Buffer const &, odocstream &,
- OutputParams const &) const;
+ int docbook(odocstream &, OutputParams const &) const;
///
- void read(Buffer const &, Lexer & lex);
+ void read(Lexer & lex);
///
- void write(Buffer const & buf, std::ostream & os) const;
+ void write(std::ostream & os) const;
///
DisplayType display() const { return AlignCenter; }
- /// How much?
- VSpace const & space() const { return space_; }
-
-protected:
///
- virtual void doDispatch(Cursor & cur, FuncRequest & cmd);
-
-private:
- virtual std::auto_ptr<Inset> doClone() const;
+ void doDispatch(Cursor & cur, FuncRequest & cmd);
+ ///
+ Inset * clone() const { return new InsetVSpace(*this); }
///
docstring const label() const;