GNOME Bugzilla – Bug 677739
Add Escape key handler to quit selection mode
Last modified: 2016-03-31 13:58:03 UTC
Let the user quit selection mode by pressing Escape. This is also aligned with gnome-documents behaviour.
Created attachment 216015 [details] [review] Remove custom Gdk.Key bindings
Created attachment 216016 [details] [review] Use a simple select_btn ToolButton
Created attachment 216017 [details] [review] Escape key to quit selection mode
Review of attachment 216017 [details] [review]: Looks good, ACK if you tested it.
Review of attachment 216015 [details] [review]: ACK
Review of attachment 216016 [details] [review]: ACK
Attachment 216015 [details] pushed as f31d932 - Remove custom Gdk.Key bindings Attachment 216016 [details] pushed as 989e1f2 - Use a simple select_btn ToolButton Attachment 216017 [details] pushed as 1167082 - Escape key to quit selection mode