diff options
| author | Carlos Garcia Campos <[email protected]> | 2013-06-13 19:08:44 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2017-09-06 18:25:34 +0200 |
| commit | ac82f591013915acd09a345847c337589ac901ce (patch) | |
| tree | a397755b264044bed2caeb6bc5ecfae7fd55a558 /shell/ev-media-player-keys.h | |
| parent | b5b335319cf0768142e0e3ae8af6df984bf2a01b (diff) | |
| download | atril-ac82f591013915acd09a345847c337589ac901ce.tar.bz2 atril-ac82f591013915acd09a345847c337589ac901ce.tar.xz | |
libview: Make caret cursor blink
Based on GtkEntry and GtkTextView implementation, the caret cursor
blinks when the view is active and caret navigation is enabled. It stops
blinking after a while if there's no user interaction. It uses
GtkSettings:gtk-cursor-blink-time and
GtkSettings:gtk-cursor-blink-timeout.
https://bugzilla.gnome.org/show_bug.cgi?id=702076
taken from:
https://git.gnome.org/browse/evince/commit/?h=gnome-3-10&id=e6f7250
Diffstat (limited to 'shell/ev-media-player-keys.h')
0 files changed, 0 insertions, 0 deletions