Inheritance: IReplEditor2
ReplEditor Class Documentation
示例#1
0
 public ReplEditorReplaceListener(ReplEditor replEditor)
 {
     if (replEditor == null)
     {
         throw new ArgumentNullException(nameof(replEditor));
     }
     this.replEditor = replEditor;
 }
示例#2
0
 public GuidObjectsProvider(ReplEditor replEditorUI)
 {
     this.replEditorUI = replEditorUI;
 }
示例#3
0
 public CachedTextColorsCollectionBuilder(ReplEditor owner, int totalLength)
 {
     this.owner = owner;
     this.cachedTextColorsCollection = new CachedTextColorsCollection();
     this.totalLength = totalLength;
 }
示例#4
0
		public CachedTextColorsCollectionBuilder(ReplEditor owner, int totalLength) {
			this.owner = owner;
			cachedTextColorsCollection = new CachedTextColorsCollection();
			this.totalLength = totalLength;
		}
示例#5
0
			public GuidObjectsProvider(ReplEditor replEditorUI) {
				this.replEditorUI = replEditorUI;
			}
示例#6
0
 public ReplEditorReplaceListener(ReplEditor replEditor) => this.replEditor = replEditor ?? throw new ArgumentNullException(nameof(replEditor));
示例#7
0
		public ReplEditorReplaceListener(ReplEditor replEditor) {
			if (replEditor == null)
				throw new ArgumentNullException(nameof(replEditor));
			this.replEditor = replEditor;
		}