void InterruptEdit(object sender, ConsoleCancelEventArgs a) { // Do not abort our program: a.Cancel = false; // Interrupt the editor edit_thread.Abort(); }