GNOME Bugzilla – Bug 762041
Pressing F1 does NOT launch yelp
Last modified: 2016-02-24 19:19:21 UTC
Pressing F1 does not launch yelp. Tested with 3.19.1 (webkitgtk 2.11.5), but was confirmed to also be present on 3.18/2.10 Sorry for not including any debugging clues!
Created attachment 321598 [details] [review] Assign key binding for the help dialog
Review of attachment 321598 [details] [review]: I thought this was going to be a lot more complicated :p
Attachment 321598 [details] pushed as 399d469 - Assign key binding for the help dialog