this.toUnbind.push(themeService.onDidColorThemeChange(e=>this.handleConfigurationChangeEvent()));// TODO@theme this should be done from the editor itself and not from the outside
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
@@ -378,7 +377,6 @@ export class WalkThroughPart extends BaseEditor {
}
}));
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