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