diff options
| author | Carlos Garcia Campos <[email protected]> | 2013-07-18 14:13:38 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2017-09-06 18:25:34 +0200 |
| commit | 205542523f2927972757996f50e0ade2b71fa3ae (patch) | |
| tree | 4b0f0d7c5a9eb7703dd52a3c38fc102b9475bfe3 /shell/ev-media-player-keys.h | |
| parent | 03d0d638eeb5c0258839b4efb9ae5f2e1f7d0b12 (diff) | |
| download | atril-205542523f2927972757996f50e0ade2b71fa3ae.tar.bz2 atril-205542523f2927972757996f50e0ade2b71fa3ae.tar.xz | |
libview: do not redraw the whole view when caret cursor moves
Invalidate the previous and new regions instead.
origin commit:
https://git.gnome.org/browse/evince/commit/?h=gnome-3-10&id=e39ac99
Diffstat (limited to 'shell/ev-media-player-keys.h')
0 files changed, 0 insertions, 0 deletions