whitespace

This commit is contained in:
Juergen Spitzmueller 2019-12-30 16:28:15 +01:00
parent ada07d0bf1
commit a5db5d4c90

View File

@ -45,7 +45,7 @@ public:
docstring toolTip(BufferView const &, int, int) const
{ return tooltip_; }
///
docstring getTOCString() const;
docstring getTOCString() const;
///
bool hasSettings() const { return true; }
///