Closed hrosenbauer closed 10 years ago
The scroll-offset was only updated when the scroll_in() function was used for scrolling. Using the mouse-wheel during dragging or resizing of a widget leads to invalid offset values.
Pullrequest merged with c726c4ad9c18fea95e4b46b9bacd36c42aa9691c
The scroll-offset was only updated when the scroll_in() function was used for scrolling. Using the mouse-wheel during dragging or resizing of a widget leads to invalid offset values.