-
Kai Willadsen authored
Unfortunately, we get allocation change signals from scrollbars every time the user even hovers a mouse over one, so instead of just trusting the widgets not to be insane here, we'll check the new allocation.
a70e6e5d
Unfortunately, we get allocation change signals from scrollbars every time the user even hovers a mouse over one, so instead of just trusting the widgets not to be insane here, we'll check the new allocation.