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