public EditorFormatMapService(IThemeManager themeManager, ITextEditorFontSettingsService textEditorFontSettingsService, IEditorFormatDefinitionService editorFormatDefinitionService)
{
this.themeManager = themeManager;
this.textEditorFontSettingsService = textEditorFontSettingsService;
this.editorFormatDefinitionService = editorFormatDefinitionService;
this.toCategoryMap = new Dictionary <ITextEditorFontSettings, IEditorFormatMap>();
this.cachedUpdaters = new List <CategoryEditorFormatMapUpdater>();
}
public EditorFormatMapService(IThemeService themeService, ITextEditorFontSettingsService textEditorFontSettingsService, IEditorFormatDefinitionService editorFormatDefinitionService)
{
this.themeService = themeService;
this.textEditorFontSettingsService = textEditorFontSettingsService;
this.editorFormatDefinitionService = editorFormatDefinitionService;
this.toCategoryMap = new Dictionary <ITextEditorFontSettings, IEditorFormatMap>();
this.cachedUpdaters = new List <CategoryEditorFormatMapUpdater>();
this.dispatcher = Dispatcher.CurrentDispatcher;
}
