How to search for ANYTHING in Chrome 22's Web Developer Tools? [closed]

Question

Chrome automatically updated on me to 22.0.1229.79, and right off the bat, there's no search functionality anymore!

Usually the search (whether it be for elements, "sources", etc.) is in the top-right. But now I can't find it anywhere, and there doesn't seem to be an option to enable it. Anybody figure out where it is?

(It's on OSX, if that helps)

Answer 1

To search the currently highlighted script:

Windows: Ctrl + F
Mac: Command + F

To search all sources:

Windows: Ctrl + Shift + F
Mac: Command + Option + F