add a custom refresh-view signal
Now we can trigger a gtk page refresh calling refresh_view. This function triggers a custom signal refresh-view, whose handler copies the position from the document object to the adjustments.
Please register or sign in to comment