public ReplCustomLineNumberMarginOwner(IReplEditor2 replEditor, IThemeClassificationTypeService themeClassificationTypeService) {
if (replEditor == null)
throw new ArgumentNullException(nameof(replEditor));
if (themeClassificationTypeService == null)
throw new ArgumentNullException(nameof(themeClassificationTypeService));
this.replEditor = replEditor;
replLineNumberInput1ClassificationType = themeClassificationTypeService.GetClassificationType(TextColor.ReplLineNumberInput1);
replLineNumberInput2ClassificationType = themeClassificationTypeService.GetClassificationType(TextColor.ReplLineNumberInput2);
replLineNumberOutputClassificationType = themeClassificationTypeService.GetClassificationType(TextColor.ReplLineNumberOutput);
}
public ReplEditorOperations(IReplEditor2 replEditor, IWpfTextView wpfTextView, IEditorOperationsFactoryService editorOperationsFactoryService)
{
this.replEditor = replEditor;
this.wpfTextView = wpfTextView;
EditorOperations = editorOperationsFactoryService.GetEditorOperations(wpfTextView);
}
public ReplEditorOperations(IReplEditor2 replEditor, IWpfTextView wpfTextView, IEditorOperationsFactoryService editorOperationsFactoryService) {
this.replEditor = replEditor;
this.wpfTextView = wpfTextView;
EditorOperations = editorOperationsFactoryService.GetEditorOperations(wpfTextView);
}
