Which other software allows you to close a search dialog with ctrl-f?
At some point, we’re going to have to rewrite the search addon to be more configurable and modular, since it is impossible to cover all desired types of functionality out of the box, but that’s a non-trivial project that I don’t currently have time for. So crudely hacking the code is probably be best way to do this for now.
Okay, I thought it was a common thing, but checking in firefox/safari/chrome/monodevelop/sublime text shows that none of them do it. I guess it’s just a weird thing that I thought felt good