| Index: third_party/WebKit/Source/devtools/front_end/cm/codemirror.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/cm/codemirror.js b/third_party/WebKit/Source/devtools/front_end/cm/codemirror.js
|
| index cd73b84a1253b395847152bbcf58d825dad519e1..4568673e3c4c2e89352b5729482ae0a4a31bc071 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/cm/codemirror.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/cm/codemirror.js
|
| @@ -592,8 +592,12 @@
|
| var comp = compensateForHScroll(display) - display.scroller.scrollLeft + cm.doc.scrollLeft;
|
| var gutterW = display.gutters.offsetWidth, left = comp + "px";
|
| for (var i = 0; i < view.length; i++) if (!view[i].hidden) {
|
| - if (cm.options.fixedGutter && view[i].gutter)
|
| - view[i].gutter.style.left = left;
|
| + if (cm.options.fixedGutter) {
|
| + if (view[i].gutter)
|
| + view[i].gutter.style.left = left;
|
| + if (view[i].gutterBackground)
|
| + view[i].gutterBackground.style.left = left;
|
| + }
|
| var align = view[i].alignable;
|
| if (align) for (var j = 0; j < align.length; j++)
|
| align[j].style.left = left;
|
| @@ -8932,4 +8936,4 @@
|
| CodeMirror.version = "5.17.1";
|
|
|
| return CodeMirror;
|
| -});
|
| +});
|
|
|