Thanks to visit codestin.com Credit goes to github.com
We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 87109e6 commit 8119543Copy full SHA for 8119543
arduino-ide-extension/src/browser/dialogs/settings/settings.ts
@@ -290,7 +290,6 @@ export class SettingsService {
290
this.savePreference('editor.quickSuggestions', quickSuggestions),
291
this.savePreference(AUTO_SCALE_SETTING, autoScaleInterface),
292
this.savePreference(ZOOM_LEVEL_SETTING, interfaceScale),
293
- this.savePreference(ZOOM_LEVEL_SETTING, interfaceScale),
294
this.savePreference(COMPILE_VERBOSE_SETTING, verboseOnCompile),
295
this.savePreference(COMPILE_WARNINGS_SETTING, compilerWarnings),
296
this.savePreference(UPLOAD_VERBOSE_SETTING, verboseOnUpload),
0 commit comments