DevTools: more efficiently dispose messages on console clear

third_party/WebKit/Source/devtools/front_end/workspace/UISourceCode.js

Index: third_party/WebKit/Source/devtools/front_end/workspace/UISourceCode.js
diff --git a/third_party/WebKit/Source/devtools/front_end/workspace/UISourceCode.js b/third_party/WebKit/Source/devtools/front_end/workspace/UISourceCode.js
index 4fa5b554791586c37976b94c5f63d1532deb9929..0176428dab1bc0f3193f41d7e87bbddb0232f0ba 100644
--- a/third_party/WebKit/Source/devtools/front_end/workspace/UISourceCode.js
+++ b/third_party/WebKit/Source/devtools/front_end/workspace/UISourceCode.js
@@ -566,6 +566,19 @@ Workspace.UISourceCode = class extends Common.Object {
       this.dispatchEventToListeners(Workspace.UISourceCode.Events.MessageRemoved, message);
   }
 
+  /**
+   * @param {!Set<!Workspace.UISourceCode.Message>} messagesToRemove
+   */
+  removeMessages(messagesToRemove) {
+    var remainingMessages = this._messages.filter(message => {
+      var keep = !messagesToRemove.has(message);
+      if (!keep)
+        this.dispatchEventToListeners(Workspace.UISourceCode.Events.MessageRemoved, message);
+      return keep;
+    });
+    this._messages = remainingMessages;
+  }
+
   _removeAllMessages() {
     if (!this._messages)
       return;