Devtools: Pretty print fix for CSS coverage decorations.

third_party/WebKit/Source/devtools/front_end/sources/InplaceFormatterEditorAction.js

 // Copyright 2014 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 /**
  * @implements {Sources.SourcesView.EditorAction}
  * @unrestricted
  */
 Sources.InplaceFormatterEditorAction = class {
   /**
    * @param {!Common.Event} event
@@ skipping 81 matching lines @@
     function innerCallback(formattedContent, formatterMapping) {
       if (uiSourceCode.workingCopy() === formattedContent)
         return;
       var sourceFrame = this._sourcesView.viewForFile(uiSourceCode);
       var start = [0, 0];
       if (sourceFrame) {
         var selection = sourceFrame.selection();
         start = formatterMapping.originalToFormatted(selection.startLine, selection.startColumn);
       }
       uiSourceCode.setWorkingCopy(formattedContent);
+      this._formatDecorations(uiSourceCode, formatterMapping);
+
       this._sourcesView.showSourceLocation(uiSourceCode, start[0], start[1]);
     }
   }
+
+  /**
+   * @param {!Workspace.UISourceCode} uiSourceCode
+   * @param {!Sources.FormatterSourceMapping} sourceMapping
+   */
+  _formatDecorations(uiSourceCode, sourceMapping) {
+    if (!uiSourceCode.allDecorations)
+      return;
+
+    var oldDecorations = new Map(uiSourceCode.allDecorations);
+    uiSourceCode.removeAllDecorations();
+
+    for (var decorationList of oldDecorations.entries()) {
+      var type = decorationList[0];
+      var list = decorationList[1];
+
+      for (var decoration of list) {
+        var range = decoration.range();
+
+        [range.startLine, range.startColumn] = sourceMapping.originalToFormatted(range.startLine, range.startColumn);

[lushnikov, 2016/11/16 22:53:54]

1. let's not mutate range
2. let's not use array destructuring for now

+
+        [range.endLine, range.endColumn] = sourceMapping.originalToFormatted(range.endLine, range.endColumn);
+
+        uiSourceCode.addDecoration(range, /** @type {string} */ (type), decoration.data());
+      }
+    }
+  }
 };