From b8dc2402a1a2c2eea53ef9820971f76df2ea07bb Mon Sep 17 00:00:00 2001 From: Alex Dima Date: Thu, 27 Feb 2020 12:16:04 +0100 Subject: [PATCH] Fixes #91386: Improve JSON schema for minimap.scale --- src/vs/editor/common/config/editorOptions.ts | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/vs/editor/common/config/editorOptions.ts b/src/vs/editor/common/config/editorOptions.ts index e149ea0793c..941502e43d3 100644 --- a/src/vs/editor/common/config/editorOptions.ts +++ b/src/vs/editor/common/config/editorOptions.ts @@ -2146,7 +2146,8 @@ class EditorMinimap extends BaseEditorOption