Hover detection for widgets / on_hover callback
WeirdConstructor opened this issue · comments
Most notably for buttons (or possibly any widget) I need a callback when
the user hovers over a certain widget. Usecase for me would now be
displaying documentation for the hovered element or opening a tooltip.