///
bool setMouseHover(BufferView const * bv, bool mouse_hover) const;
///
- bool mouseHovered(BufferView const * bv) const
+ bool mouseHovered(BufferView const * bv) const
{ return mouse_hover_[bv]; }
///
bool lock_;
///
mutable std::map<BufferView const *, bool> mouse_hover_;
-};
+};