use window.matchMedia in loadSettings

Author: davegarthsimpson

arduino-ide-extension/src/browser/dialogs/settings/settings.ts

@@ -122,6 +122,7 @@ export class SettingsService {
       languages,
       currentLanguage,
       editorFontSize,
+      themeId,
       autoSave,
       quickSuggestions,
       autoScaleInterface,
@@ -136,6 +137,13 @@ export class SettingsService {
       ['en', ...(await this.localizationProvider.getAvailableLanguages())],
       this.localizationProvider.getCurrentLanguage(),
       this.preferenceService.get<number>(FONT_SIZE_SETTING, 12),
+      this.preferenceService.get<string>(
+        'workbench.colorTheme',
+        window.matchMedia &&
+          window.matchMedia('(prefers-color-scheme: dark)').matches
+          ? 'arduino-theme-dark'
+          : 'arduino-theme'
+      ),
       this.preferenceService.get<Settings.AutoSave>(
         AUTO_SAVE_SETTING,
         Settings.AutoSave.DEFAULT_ON