diff options
author | Antia Puentes <[email protected]> | 2013-06-13 18:08:44 +0200 |
---|---|---|
committer | raveit65 <[email protected]> | 2017-09-06 18:25:34 +0200 |
commit | 387b00d43a02761833a43f5072b9599d8d237e80 (patch) | |
tree | e6744b48d1b53964629be04261c26d8fd4b6babd /backend/dvi/mdvi-lib/fontmap.h | |
parent | ac82f591013915acd09a345847c337589ac901ce (diff) | |
download | atril-387b00d43a02761833a43f5072b9599d8d237e80.tar.bz2 atril-387b00d43a02761833a43f5072b9599d8d237e80.tar.xz |
libview: Avoid to update the current page and scroll to the cursor position, if the caret cursor was not updated
Move the caret cursor only when requested by the user. Keep the page
where the caret cursor is in addition to the offset inside that page.
https://bugzilla.gnome.org/show_bug.cgi?id=702068
origin commit:
https://git.gnome.org/browse/evince/commit/?h=gnome-3-10&id=4d15ab5
Diffstat (limited to 'backend/dvi/mdvi-lib/fontmap.h')
0 files changed, 0 insertions, 0 deletions