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 updateDocumentClass(DocumentClass const * const olddc);
///