Comment 10 for bug 1487527

Revision history for this message
Dan Pearl (dpearl) wrote :

I thought about hiding the global search button if the pull-down was already set to the top level. I thought that there was no harm done to keep the global search button there, and it would simplify the code not to have to maintain the visibility or active/inactive status of the button. In fact, I kinda like it that you can always rely on clicking the blue button for a global search.