This commit is contained in:
Joao Moreno
2019-01-31 21:17:17 +01:00
parent 9c887c9573
commit d93d2c3440
2 changed files with 4 additions and 1 deletions

View File

@@ -1288,6 +1288,8 @@ configurationRegistry.registerConfiguration({
[treeIndentKey]: {
'type': 'number',
'default': 8,
minimum: 0,
maximum: 20,
'description': localize('tree indent setting', "Controls tree indentation in pixels.")
},
[keyboardNavigationSettingKey]: {