NORMAL,
/// Protected (no break) space ('~')
PROTECTED,
+ /// Visible ("open box") space ('\textvisiblespace')
+ VISIBLE,
/// Thin space ('\,')
THIN,
/// Medium space ('\:')
// a line separator)?
bool isSpace() const { return true; }
///
- docstring contextMenuName() const;
+ std::string contextMenuName() const;
///
bool clickable(int /* x */, int /* y */) const { return true; }
protected: