this.toUnbind.push(themeService.onDidColorThemeChange(e=>this.handleConfigurationChangeEvent()));// TODO@theme this should be done from the editor itself and not from the outside
},nls.localize('activeTabBackground',"Active Tab background color. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group."));
},nls.localize('inactiveTabBackground',"Inactive Tab background color. Tabs are the containers for editors in the editor area. Multiple tabs can be opened in one editor group."));
},nls.localize('panelBackground',"Panel background color. Panels are shown below the editor area and contain views like output and integrated terminal."));
this.toDispose.push(this.themeService.onDidColorThemeChange(e=>this.replInput.updateOptions(this.getReplInputOptions())));// TODO@theme this should be done from the editor itself and not from the outside
this.contentDisposables.push(this.themeService.onDidColorThemeChange(theme=>editor.updateOptions({theme:theme.id})));// TODO@theme this should be done from the editor itself and not from the outside