diff --git a/src/vs/workbench/parts/preferences/browser/settingsTree.ts b/src/vs/workbench/parts/preferences/browser/settingsTree.ts index c3d2c30f77d98ed7442318fa7cfa1da1142654ba..6d82e55449d980e6d9f5b07c8c1655e5737e107e 100644 --- a/src/vs/workbench/parts/preferences/browser/settingsTree.ts +++ b/src/vs/workbench/parts/preferences/browser/settingsTree.ts @@ -702,7 +702,8 @@ export class SettingsRenderer implements IRenderer { this.renderText(element, isSelected, template, valueControlElement, onChange); } else if (element.valueType === 'number' || element.valueType === 'integer') { valueControlElement.classList.add('setting-type-number'); - this.renderText(element, isSelected, template, valueControlElement, value => onChange(parseInt(value))); + const parseFn = element.valueType === 'integer' ? parseInt : parseFloat; + this.renderText(element, isSelected, template, valueControlElement, value => onChange(parseFn(value))); } else { valueControlElement.classList.add('setting-type-complex'); this.renderEditInSettingsJson(element, isSelected, template, valueControlElement);