-
This is so we can detect crossing events on the scrolledwindow widget, which can be useful for toggling certain behaviors or not depending on whether the mouse is on the widget.
fdf367e8
This is so we can detect crossing events on the scrolledwindow widget, which can be useful for toggling certain behaviors or not depending on whether the mouse is on the widget.