diff options
author | Carlos Garcia Campos <[email protected]> | 2013-06-21 12:06:34 +0200 |
---|---|---|
committer | raveit65 <[email protected]> | 2017-09-06 18:25:34 +0200 |
commit | fcc0e07d7522279dd81c3c306d25e31cc9a16d55 (patch) | |
tree | b8507ffbd605226df9b4f97ab4d812fe2d58ecc0 | |
parent | aca6593233a34900a78c03738ab6be829c196648 (diff) | |
download | atril-fcc0e07d7522279dd81c3c306d25e31cc9a16d55.tar.bz2 atril-fcc0e07d7522279dd81c3c306d25e31cc9a16d55.tar.xz |
libview: Make sure the cursor blinks after moving it by a click
The cursor blink is reset when the cursor is moved with the keyboard,
but not when positioned with the mouse.
origin commit:
https://git.gnome.org/browse/evince/commit/?h=gnome-3-10&id=1435ace
-rw-r--r-- | libview/ev-view.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/libview/ev-view.c b/libview/ev-view.c index 0bbbd670..f0b5d69e 100644 --- a/libview/ev-view.c +++ b/libview/ev-view.c @@ -4357,6 +4357,10 @@ ev_view_button_press_event (GtkWidget *widget, (view->cursor_offset != offset || view->cursor_page != page)) { view->cursor_offset = offset; view->cursor_page = page; + + view->cursor_blink_time = 0; + ev_view_pend_cursor_blink (view); + gtk_widget_queue_draw (widget); } } |