InsetVSpace() : Inset(0) {}
///
InsetVSpace(VSpace const &);
- ///
- ~InsetVSpace();
/// How much?
VSpace const & space() const { return space_; }
///
///
bool hasSettings() const { return true; }
///
- docstring contextMenu(BufferView const & bv, int x, int y) const;
+ std::string contextMenuName() const;
///
static void string2params(std::string const &, VSpace &);
///
///
void draw(PainterInfo & pi, int x, int y) const;
///
- int latex(odocstream &, OutputParams const &) const;
+ void latex(otexstream &, OutputParams const &) const;
///
int plaintext(odocstream &, OutputParams const &) const;
///
int docbook(odocstream &, OutputParams const &) const;
- ///
+ /// Note that this returns the inset rather than writing it,
+ /// so it will actually be written after the present paragraph.
+ /// The normal case is that this inset will be on a line by
+ /// itself, and in that case the present paragraph will not,
+ /// in fact, appear at all.
docstring xhtml(XHTMLStream &, OutputParams const &) const;
///
void read(Lexer & lex);
Inset * clone() const { return new InsetVSpace(*this); }
///
docstring const label() const;
- ///
- bool showInsetDialog(BufferView * bv) const;
///
VSpace space_;