File tree 1 file changed +1
-6
lines changed
arduino-ide-extension/src/browser/dialogs/settings 1 file changed +1
-6
lines changed Original file line number Diff line number Diff line change @@ -122,7 +122,6 @@ export class SettingsService {
122
122
languages ,
123
123
currentLanguage ,
124
124
editorFontSize ,
125
- themeId ,
126
125
autoSave ,
127
126
quickSuggestions ,
128
127
autoScaleInterface ,
@@ -137,10 +136,6 @@ export class SettingsService {
137
136
[ 'en' , ...( await this . localizationProvider . getAvailableLanguages ( ) ) ] ,
138
137
this . localizationProvider . getCurrentLanguage ( ) ,
139
138
this . preferenceService . get < number > ( FONT_SIZE_SETTING , 12 ) ,
140
- this . preferenceService . get < string > (
141
- 'workbench.colorTheme' ,
142
- 'arduino-theme'
143
- ) ,
144
139
this . preferenceService . get < Settings . AutoSave > (
145
140
AUTO_SAVE_SETTING ,
146
141
Settings . AutoSave . DEFAULT_ON
@@ -165,7 +160,7 @@ export class SettingsService {
165
160
const sketchbookPath = await this . fileService . fsPath ( new URI ( sketchDirUri ) ) ;
166
161
return {
167
162
editorFontSize,
168
- themeId,
163
+ themeId : ThemeService . get ( ) . getCurrentTheme ( ) . id ,
169
164
languages,
170
165
currentLanguage,
171
166
autoSave,
You can’t perform that action at this time.
0 commit comments