Otherwise, hard to find mine...
Proposed UX
The following revision refers to this bug: https://chromium.googlesource.com/chromium/src.git/+/11493585aebb35c6e493b8db2943c001f183c6f0 commit 11493585aebb35c6e493b8db2943c001f183c6f0 Author: Eugene Ostroukhov <eostroukhov@chromium.org> Date: Wed Nov 01 23:27:58 2017 [DevTools] Add filter to service workers list Bug: 729042 Change-Id: I0ba4587ad68e65ae04b7d4a6ac99f882df3e9603 Reviewed-on: https://chromium-review.googlesource.com/682345 Reviewed-by: Pavel Feldman <pfeldman@chromium.org> Commit-Queue: Eugene Ostroukhov <eostroukhov@chromium.org> Cr-Commit-Position: refs/heads/master@{#513319} [modify] https://crrev.com/11493585aebb35c6e493b8db2943c001f183c6f0/third_party/WebKit/LayoutTests/http/tests/devtools/components/file-path-scoring.html [modify] https://crrev.com/11493585aebb35c6e493b8db2943c001f183c6f0/third_party/WebKit/LayoutTests/http/tests/devtools/service-workers/service-workers-view-expected.txt [modify] https://crrev.com/11493585aebb35c6e493b8db2943c001f183c6f0/third_party/WebKit/Source/devtools/front_end/application_test_runner/ServiceWorkersTestRunner.js [modify] https://crrev.com/11493585aebb35c6e493b8db2943c001f183c6f0/third_party/WebKit/Source/devtools/front_end/common/ParsedURL.js [modify] https://crrev.com/11493585aebb35c6e493b8db2943c001f183c6f0/third_party/WebKit/Source/devtools/front_end/platform/utilities.js [modify] https://crrev.com/11493585aebb35c6e493b8db2943c001f183c6f0/third_party/WebKit/Source/devtools/front_end/quick_open/FilteredListWidget.js [modify] https://crrev.com/11493585aebb35c6e493b8db2943c001f183c6f0/third_party/WebKit/Source/devtools/front_end/resources/ServiceWorkersView.js [modify] https://crrev.com/11493585aebb35c6e493b8db2943c001f183c6f0/third_party/WebKit/Source/devtools/front_end/resources/module.json [modify] https://crrev.com/11493585aebb35c6e493b8db2943c001f183c6f0/third_party/WebKit/Source/devtools/front_end/resources/serviceWorkersView.css [modify] https://crrev.com/11493585aebb35c6e493b8db2943c001f183c6f0/third_party/WebKit/Source/devtools/front_end/ui/ReportView.js
Comment 1 by pfeldman@chromium.org
, Jun 2 2017