From e16bb890fb17a35c499ceb8a0f95ded6133f2b21 Mon Sep 17 00:00:00 2001 From: Alex Dima Date: Thu, 21 Jun 2018 17:20:56 +0200 Subject: [PATCH] Do not compute active indent guide if it is not needed --- src/vs/editor/browser/viewParts/indentGuides/indentGuides.ts | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/vs/editor/browser/viewParts/indentGuides/indentGuides.ts b/src/vs/editor/browser/viewParts/indentGuides/indentGuides.ts index 82ac715a7d6..aef3582c374 100644 --- a/src/vs/editor/browser/viewParts/indentGuides/indentGuides.ts +++ b/src/vs/editor/browser/viewParts/indentGuides/indentGuides.ts @@ -117,7 +117,7 @@ export class IndentGuidesOverlay extends DynamicViewOverlay { let activeIndentStartLineNumber = 0; let activeIndentEndLineNumber = 0; let activeIndentLevel = 0; - if (this._primaryLineNumber) { + if (this._activeIndentEnabled && this._primaryLineNumber) { const activeIndentInfo = this._context.model.getActiveIndentGuide(this._primaryLineNumber, visibleStartLineNumber, visibleEndLineNumber); activeIndentStartLineNumber = activeIndentInfo.startLineNumber; activeIndentEndLineNumber = activeIndentInfo.endLineNumber; @@ -126,8 +126,7 @@ export class IndentGuidesOverlay extends DynamicViewOverlay { let output: string[] = []; for (let lineNumber = visibleStartLineNumber; lineNumber <= visibleEndLineNumber; lineNumber++) { - const containsActiveIndentGuide = - this._activeIndentEnabled && (activeIndentStartLineNumber <= lineNumber && lineNumber <= activeIndentEndLineNumber); + const containsActiveIndentGuide = (activeIndentStartLineNumber <= lineNumber && lineNumber <= activeIndentEndLineNumber); const lineIndex = lineNumber - visibleStartLineNumber; const indent = indents[lineIndex];