diff options
author | Carlos Garcia Campos <[email protected]> | 2013-07-20 11:05:12 +0200 |
---|---|---|
committer | raveit65 <[email protected]> | 2017-09-06 18:25:34 +0200 |
commit | b5e5aeb90924938c65c8cb09b7d6f1aa0192dc12 (patch) | |
tree | e7823ef29e74a52768e332f877a65ddb036fcd4b /backend/dvi/fonts.c | |
parent | 518e7e86554b74e9562e1c7801fc5ca42bdf45c2 (diff) | |
download | atril-b5e5aeb90924938c65c8cb09b7d6f1aa0192dc12.tar.bz2 atril-b5e5aeb90924938c65c8cb09b7d6f1aa0192dc12.tar.xz |
libview: Fix selections starting/ending in page margins
Do not take into account the page area borders when looking the pages
where the selection starts or ends. This allows to start a new selection
from a page margin and prevents selection from disappearing when
selecting multiple pages and releasing the mouse between two pages.
origin commit:
https://git.gnome.org/browse/evince/commit/?h=gnome-3-10&id=4969e2b
Diffstat (limited to 'backend/dvi/fonts.c')
0 files changed, 0 insertions, 0 deletions