void OnWindowClosing(object sender, CancelEventArgs e) { Console.WriteLine("deleting: " + filename); dog.delete_note(filename); }