///
docstring toolTip(BufferView const & bv, int x, int y) const;
///
- docstring contextMenu(BufferView const &, int, int) const;
+ std::string contextMenu(BufferView const &, int, int) const;
///
- docstring contextMenuName() const;
+ std::string contextMenuName() const;
/// should paragraph indendation be ommitted in any case?
bool neverIndent() const { return true; }