public AggiungiFile(long ProgressivoDisco, long NumeroFile)
: this(ProgressivoDisco)
{
numeroFile = NumeroFile;
using (databaseContext = CreateDatabaseContext())
{
HoloDischiManager manager = new HoloDischiManager(databaseContext);
HoloDiskFile file = manager.GetSingleFile(progressivoDisco, numeroFile.Value);
txtNomeFile.Text = file.NomeFile;
txtContenuto.Text = file.Contenuto;
numCrypt.Value = file.LivelloCrypt.HasValue ? file.LivelloCrypt.Value : 0;
}
}
private void mostraFile(long numeroFile)
{
HoloDischiManager manager = new HoloDischiManager(DatabaseContext);
HoloDiskFile file = manager.GetSingleFile(this.ProgressivoDisco, numeroFile);
lblNomeFile.Text = file.NomeFile;
lblTesto.Text = file.Contenuto;
PageViews.SetActiveView(viewMostraFile);
}
