public ReplEditorReplaceListener(ReplEditor replEditor)
{
if (replEditor == null)
{
throw new ArgumentNullException(nameof(replEditor));
}
this.replEditor = replEditor;
}
public GuidObjectsProvider(ReplEditor replEditorUI)
{
this.replEditorUI = replEditorUI;
}
public CachedTextColorsCollectionBuilder(ReplEditor owner, int totalLength)
{
this.owner = owner;
this.cachedTextColorsCollection = new CachedTextColorsCollection();
this.totalLength = totalLength;
}
public CachedTextColorsCollectionBuilder(ReplEditor owner, int totalLength) {
this.owner = owner;
cachedTextColorsCollection = new CachedTextColorsCollection();
this.totalLength = totalLength;
}
public GuidObjectsProvider(ReplEditor replEditorUI) {
this.replEditorUI = replEditorUI;
}
public ReplEditorReplaceListener(ReplEditor replEditor) => this.replEditor = replEditor ?? throw new ArgumentNullException(nameof(replEditor));
public ReplEditorReplaceListener(ReplEditor replEditor) {
if (replEditor == null)
throw new ArgumentNullException(nameof(replEditor));
this.replEditor = replEditor;
}