GNOME Bugzilla – Bug 630648
Combine the search and findbar
Last modified: 2011-06-07 14:29:33 UTC
To make Yelp easier to use, why not combine all three types of search? One possibility is to simply add a a combobox on the toolbar that allows changing the search domain between: - This manual (bug #436991) - This page - All manuals It makes it more efficient, with less UI duplication and it is more discoverable for users.