-
Bastien Nocera authored
There's probably an expectation from the app developers that Ctrl+F or similar common shortcuts for starting a search will be handled by the widget, when this is not the case. Explicitely mention it in the docs to avoid confusion. https://bugzilla.gnome.org/show_bug.cgi?id=701523
3d11b9b7