diff --git a/src/editor/Editor.js b/src/editor/Editor.js index 090ed156f85..9d52b3c0b5e 100644 --- a/src/editor/Editor.js +++ b/src/editor/Editor.js @@ -1038,10 +1038,10 @@ define(function (require, exports, module) { }); // For word wrap. Code adapted from https://codemirror.net/demo/indentwrap.html# this._codeMirror.on("renderLine", function (cm, line, elt) { - var charWidth = self._codeMirror.defaultCharWidth(), basePadding = 4; + var charWidth = self._codeMirror.defaultCharWidth(); var off = CodeMirror.countColumn(line.text, null, cm.getOption("tabSize")) * charWidth; elt.style.textIndent = "-" + off + "px"; - elt.style.paddingLeft = (basePadding + off) + "px"; + elt.style.paddingLeft = off + "px"; }); };