public void Populate_source_records_from_records()
{
Source_records.Clear();
foreach (var record in Records)
{
Source_records.Add(record);
}
}
public void Reload()
{
File_contents.Clear();
Records.Clear();
Source_records.Clear();
Source_records = File_io.Load(File_contents);
Populate_records_from_original_file_load();
}