Fixes #91386: Improve JSON schema for minimap.scale

This commit is contained in:
Alex Dima 2020-02-27 12:16:04 +01:00
parent fdfed71af4
commit b8dc2402a1
No known key found for this signature in database
GPG key ID: 6E58D7B045760DA0

View file

@ -2146,7 +2146,8 @@ class EditorMinimap extends BaseEditorOption<EditorOption.minimap, EditorMinimap
default: defaults.scale,
minimum: 1,
maximum: 3,
description: nls.localize('minimap.scale', "Scale of content drawn in the minimap.")
enum: [1, 2, 3],
description: nls.localize('minimap.scale', "Scale of content drawn in the minimap: 1, 2 or 3.")
},
'editor.minimap.renderCharacters': {
type: 'boolean',