///
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;
///