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 82 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) {
+    var oldDecorations = new Map(uiSourceCode.allLineDecorations());
+    uiSourceCode.removeAllDecorations();
+
+    if (!oldDecorations.size)
+      return;
+
+    for (var decorationList of oldDecorations.entries()) {
+      var type = decorationList[0];
+      var list = decorationList[1];
+      if (!list.size)
+        continue;
+
+      for (var decoration of list.entries()) {
+        var range = decoration[0];
+        var data = decoration[1];
+        var newRange = range;
+
+        [newRange.startLine, newRange.startColumn] = sourceMapping.originalToFormatted(
+                                                                          range.startLine, range.startColumn);
+
+        [newRange.endLine, newRange.endColumn] = sourceMapping.originalToFormatted(
+                                                                          range.endLine, range.endColumn);
+
+        uiSourceCode.addDecoration(newRange, /** @type {string} */ (type), data);
+      }
+    }
+  }
 };