int y //< y-coordinate on screen
) const;
+ /// Update the hovering status of the insets. This is called when
+ /// either the screen is updated or when the buffer has scolled.
+ void updateHoveredInset() const;
+
///
- void updateLayout(DocumentClass const * const oldlayout);
+ void updateDocumentClass(DocumentClass const * const olddc);
///
int width_;
///