From ee3d3924da1b144bf4b23548a81fa89f1288f27d Mon Sep 17 00:00:00 2001 From: Akos Kitta Date: Mon, 14 Nov 2022 17:21:42 +0100 Subject: [PATCH] fix: double update of the zoom level on save Signed-off-by: Akos Kitta --- arduino-ide-extension/src/browser/dialogs/settings/settings.ts | 1 - 1 file changed, 1 deletion(-) diff --git a/arduino-ide-extension/src/browser/dialogs/settings/settings.ts b/arduino-ide-extension/src/browser/dialogs/settings/settings.ts index c7729c739..73afccb5b 100644 --- a/arduino-ide-extension/src/browser/dialogs/settings/settings.ts +++ b/arduino-ide-extension/src/browser/dialogs/settings/settings.ts @@ -290,7 +290,6 @@ export class SettingsService { this.savePreference('editor.quickSuggestions', quickSuggestions), this.savePreference(AUTO_SCALE_SETTING, autoScaleInterface), this.savePreference(ZOOM_LEVEL_SETTING, interfaceScale), - this.savePreference(ZOOM_LEVEL_SETTING, interfaceScale), this.savePreference(COMPILE_VERBOSE_SETTING, verboseOnCompile), this.savePreference(COMPILE_WARNINGS_SETTING, compilerWarnings), this.savePreference(UPLOAD_VERBOSE_SETTING, verboseOnUpload),