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; |
-}); |
+}); |