diff options
| author | Antia Puentes <[email protected]> | 2013-07-26 14:42:32 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2017-09-06 21:19:51 +0200 |
| commit | 62bc1f7c30631da0fd7a0ee1294050c697e2b35b (patch) | |
| tree | 119eafb82479babbbda9639a2e62dc13b961976e /shell/ev-media-player-keys.h | |
| parent | 534bb05456ae915bd4ab8fab0183eb14dd479d24 (diff) | |
| download | atril-62bc1f7c30631da0fd7a0ee1294050c697e2b35b.tar.bz2 atril-62bc1f7c30631da0fd7a0ee1294050c697e2b35b.tar.xz | |
shell: Enable/disable the caret navigation with F7
https://bugzilla.gnome.org/show_bug.cgi?id=702079
origin commit:
https://git.gnome.org/browse/evince/commit/?h=gnome-3-10&id=fc9b6d1
Diffstat (limited to 'shell/ev-media-player-keys.h')
0 files changed, 0 insertions, 0 deletions