public DataProvider (PathedDocumentTextEditorExtension ext, object tag) { if (ext == null) throw new ArgumentNullException ("ext"); this.ext = ext; this.tag = tag; Reset (); }
public DataProvider(PathedDocumentTextEditorExtension ext, object tag) { if (ext == null) { throw new ArgumentNullException("ext"); } this.ext = ext; this.tag = tag; Reset(); }