提交 b664633d 编写于 作者: D David Weber

Use line number instead of line index for proper scroll behavior

上级 cbf1ef20
......@@ -135,7 +135,7 @@ export class LineNumbersOverlay extends DynamicViewOverlay {
let lineIndex = lineNumber - visibleStartLineNumber;
let renderLineNumber = this._getLineRenderLineNumber(lineNumber);
if (renderLineNumber && lineIndex % this._lineNumberInterval === 0) {
if (renderLineNumber && lineNumber % this._lineNumberInterval === 0) {
output[lineIndex] = (
common
+ renderLineNumber
......
......@@ -1991,7 +1991,6 @@ export class EditorLayoutProvider {
const showGlyphMargin = _opts.showGlyphMargin;
const lineHeight = _opts.lineHeight | 0;
const showLineNumbers = _opts.showLineNumbers;
const lineNumberInterval = _opts.lineNumberInterval;
const lineNumbersMinChars = _opts.lineNumbersMinChars | 0;
const lineNumbersDigitCount = _opts.lineNumbersDigitCount | 0;
const lineDecorationsWidth = _opts.lineDecorationsWidth | 0;
......
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册