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),