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();
}