protected override void Load()
{
var dotFile = new FileInfo( Filename );
var plainFile = new FileInfo( Path.ChangeExtension( Filename, ".plain" ) );
if( dotFile.LastWriteTime > plainFile.LastWriteTime )
{
myConverter.Convert( dotFile, plainFile );
}
myPlainDocument = new DotPlainDocument();
myPlainDocument.Load( plainFile.FullName );
}
public DotLangDocument( DotToDotPlainConverter converter )
{
myConverter = converter;
myPlainDocument = new DotPlainDocument();
}