public CategoryEditorFormatMapUpdater(IThemeService themeService, ITextEditorFontSettings textEditorFontSettings, IEditorFormatDefinitionService editorFormatDefinitionService, IEditorFormatMap editorFormatMap) { if (themeService == null) { throw new ArgumentNullException(nameof(themeService)); } if (textEditorFontSettings == null) { throw new ArgumentNullException(nameof(textEditorFontSettings)); } if (editorFormatDefinitionService == null) { throw new ArgumentNullException(nameof(editorFormatDefinitionService)); } if (editorFormatMap == null) { throw new ArgumentNullException(nameof(editorFormatMap)); } this.themeService = themeService; this.textEditorFontSettings = textEditorFontSettings; this.editorFormatDefinitionService = editorFormatDefinitionService; this.editorFormatMap = editorFormatMap; themeService.ThemeChangedHighPriority += ThemeService_ThemeChangedHighPriority; textEditorFontSettings.SettingsChanged += TextEditorFontSettings_SettingsChanged; InitializeAll(); }
TextEditorFontSettingsService(IThemeManager themeManager, ITextEditorSettings textEditorSettings, [ImportMany] IEnumerable <Lazy <TextEditorFormatDefinition, ITextEditorFormatDefinitionMetadata> > textEditorFormatDefinitions) { themeManager.ThemeChangedHighPriority += ThemeManager_ThemeChangedHighPriority; var provider = new TextEditorFontSettingsDictionaryProvider(textEditorSettings, textEditorFormatDefinitions); this.toTextEditorFontSettings = provider.Result; this.defaultTextEditorFontSettings = provider.DefaultSettings; }