Inheritance: IReplEditor2
 public ReplEditorReplaceListener(ReplEditor replEditor)
 {
     if (replEditor == null)
     {
         throw new ArgumentNullException(nameof(replEditor));
     }
     this.replEditor = replEditor;
 }
Example #2
0
 public GuidObjectsProvider(ReplEditor replEditorUI)
 {
     this.replEditorUI = replEditorUI;
 }
Example #3
0
 public CachedTextColorsCollectionBuilder(ReplEditor owner, int totalLength)
 {
     this.owner = owner;
     this.cachedTextColorsCollection = new CachedTextColorsCollection();
     this.totalLength = totalLength;
 }
Example #4
0
		public CachedTextColorsCollectionBuilder(ReplEditor owner, int totalLength) {
			this.owner = owner;
			cachedTextColorsCollection = new CachedTextColorsCollection();
			this.totalLength = totalLength;
		}
Example #5
0
			public GuidObjectsProvider(ReplEditor replEditorUI) {
				this.replEditorUI = replEditorUI;
			}
Example #6
0
 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;
		}