• Abdo Roig-Maranges's avatar
    add a custom refresh-view signal · 692e72ab
    Abdo Roig-Maranges authored
    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.
    692e72ab