This change updates the looks to the one on the screenshots and simplifies match count update routines.
Created attachment 151935 [details] [IMAGE] Screenshot with patch applied.
Created attachment 151937 [details] Patch
Comment on attachment 151937 [details] Patch View in context: https://bugs.webkit.org/attachment.cgi?id=151937&action=review > Source/WebCore/inspector/front-end/SearchController.js:41 > + labelElement.textContent = "Find"; UIString?
Comment on attachment 151937 [details] Patch View in context: https://bugs.webkit.org/attachment.cgi?id=151937&action=review > Source/WebCore/inspector/front-end/SearchController.js:-249 > - if (!isEnterKey(event)) Incremental search works weirdly now - it jumps to the next occurrence each time you add a letter even if current occurrence matches new query. I believe this code was needed.
Created attachment 151943 [details] Patch
Comment on attachment 151943 [details] Patch View in context: https://bugs.webkit.org/attachment.cgi?id=151943&action=review > Source/WebCore/inspector/front-end/SearchController.js:240 > + _performSearch: function(query, forceSearch, isBackwardSearch) Please annotate all parameters.
Committed r122465: <http://trac.webkit.org/changeset/122465>