From 1cfefb4ce047896f8024b649e271fd6dd8dbf769 Mon Sep 17 00:00:00 2001 From: Martin Aeschlimann Date: Wed, 24 Feb 2016 11:16:25 +0100 Subject: [PATCH] Use a fixed size folding gutter (see #3390) --- src/vs/editor/common/config/commonEditorConfig.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/vs/editor/common/config/commonEditorConfig.ts b/src/vs/editor/common/config/commonEditorConfig.ts index 90d4012e134..0985aeaf78d 100644 --- a/src/vs/editor/common/config/commonEditorConfig.ts +++ b/src/vs/editor/common/config/commonEditorConfig.ts @@ -213,7 +213,7 @@ class InternalEditorOptionsHelper { let lineNumbersMinChars = toInteger(opts.lineNumbersMinChars, 1); let lineDecorationsWidth = toInteger(opts.lineDecorationsWidth, 0); if (opts.folding) { - lineDecorationsWidth += (opts.fontSize || 16); + lineDecorationsWidth += 16; } let layoutInfo = EditorLayoutProvider.compute({ outerWidth: outerWidth,