Comment 13 for bug 691380

Revision history for this message
In , Rsx11m-pub (rsx11m-pub) wrote :

I agree with comment #5 that being able to somehow get a version of the quick
filter which fits on the regular toolbar (especially as a replacement for the
Gloda bar if it's not used) would be desirable. Thus, confirming RFE for the new summary, this looks specific enough.

Regarding the Ctrl+F conflict, it's unfortunate and handled in bug 564328, but currently the easiest way to get the quick-filter bar when it's hidden and the tab bar with the handle is not present.