Devtools: Pretty print fix for CSS coverage decorations.

third_party/WebKit/Source/devtools/front_end/components_lazy/CoverageProfile.js

 // Copyright 2016 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.
 
 WebInspector.CoverageProfile = class {
   constructor() {
     this._updateTimer = null;
     this.reset();
   }
 
@@ skipping 12 matching lines @@
    * @param {!Protocol.CSS.SourceRange} range
    */
   appendUnusedRule(url, range) {
     if (!url)
       return;
 
     var uiSourceCode = WebInspector.workspace.uiSourceCodeForURL(url);
     if (!uiSourceCode)
       return;
 
+    if (range.startColumn)

[lushnikov, 2016/11/11 23:28:01]

why is this?

+      range.startColumn--;
     for (var line = range.startLine; line <= range.endLine; ++line)
-      uiSourceCode.addLineDecoration(line, WebInspector.CoverageProfile.LineDecorator.type, range.startColumn);
+      uiSourceCode.addLineDecoration(line, WebInspector.CoverageProfile.LineDecorator.type, range);
   }
 
   reset() {
     WebInspector.workspace.uiSourceCodes().forEach(
         uiSourceCode => uiSourceCode.removeAllLineDecorations(WebInspector.CoverageProfile.LineDecorator.type));
   }
 };
 
 /**
  * @implements {WebInspector.UISourceCodeFrame.LineDecorator}
  */
 WebInspector.CoverageProfile.LineDecorator = class {
   /**
    * @override
    * @param {!WebInspector.UISourceCode} uiSourceCode
    * @param {!WebInspector.CodeMirrorTextEditor} textEditor
    */
   decorate(uiSourceCode, textEditor) {
     var gutterType = 'CodeMirror-gutter-coverage';
 
     var decorations = uiSourceCode.lineDecorations(WebInspector.CoverageProfile.LineDecorator.type);
     textEditor.uninstallGutter(gutterType);
-    if (!decorations)
+    if (!decorations || !decorations.size)
       return;
 
     textEditor.installGutter(gutterType, false);
 
-    for (var decoration of decorations.values()) {
+    for (var decoration of decorations) {
       var element = createElementWithClass('div', 'text-editor-line-marker-coverage');
       textEditor.setGutterDecoration(decoration.line(), gutterType, element);
     }
   }
 };
 
 WebInspector.CoverageProfile.LineDecorator.type = 'coverage';