There should be a way to find/replace strings in the DOM, text editor, etc.
Created attachment 150816 [details] [IMAGE] straw man proposal
I would expect that the search widget appears inside the area where it performs the search, over the elements tree in case of elements panel.
Pavel, is the idea in your mockup that we would no longer have a permanent search bar in the top right corner?
(In reply to comment #3) > Pavel, is the idea in your mockup that we would no longer have a permanent search bar in the top right corner? Yes.
Closing as invalid, as this bug pertains to the old inspector UI and/or its tests. Please file a new bug (https://www.webkit.org/new-inspector-bug) if the bug/feature/issue is still relevant to WebKit trunk.