DevTools: polish service worker inspector UI

third_party/WebKit/Source/devtools/front_end/sdk/ServiceWorkerManager.js

 /*
  * Copyright (C) 2011 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 73 matching lines @@
 
     /**
      * @return {!Iterable.<!WebInspector.ServiceWorker>}
      */
     workers: function()
     {
         return this._workers.values();
     },
 
     /**
+     * @param {string} versionId
+     * @return {boolean}
+     */
+    hasWorkerWithVersionId: function(versionId)
+    {
+        for (var pair of this._workers) {
+            if (pair[1]._versionId === versionId)
+                return true;
+        }
+        return false;
+    },
+
+    /**
      * @return {boolean}
      */
     hasWorkers: function()
     {
         return !!this._workers.size;
     },
 
     /**
      * @return {!Map.<string, !WebInspector.ServiceWorkerRegistration>}
      */
@@ skipping 756 matching lines @@
     },
 
     /**
      * @return {boolean}
      */
     _shouldBeRemoved: function()
     {
         return this._isRedundant() && (!this._hasErrorLog() || this._deleting);
     }
 }