As a web dev, I find the FF dev tools a good bit less performant, but I still try to use it always without reverting to Chrome.. The one feature I have not foun

As a web dev, I find the FF dev tools a good bit less performant, but I still try to use it always without reverting to Chrome.. The one feature I have not found in FF dev tools is Search, this is very handy for find random JavaScript on a JS heavy site. Edit: This post prompted me to Google for it: https://developer.mozilla.org/en-US/docs/Tools/Debugger/How_to/Search https://developer.mozilla.org/en-US/docs/Tools/Debugger/How_... Move along, nothing to see.. :-\