scrolled window signal when user scrolls with mouse etc.
I have a textview in a scrolled window, this is watching a growing log file, so it scrolls quite quickly.
I have set it to scroll with the output (using scroll_to_mark() on the textview, and given the users a pause button to disable the automatic scrolling.
I want to get notified when the user scrolls the view manually via either the keyboard or scrollbars to also pause the scrolling. But watching the vadjustment value_changed signal of the scrolled window I get notices for every new log entry (the scroll_to_mark()) and can't distinguish between these and the users actions.
Does any one have any ideas on how to achieve this?
def on_vscrollbar_button_press(self, vscrollbar, event, data=None):
# mask the motion line update so user can scroll through code without periodic update stepping on his scrolling
self.textview.masked = True