private void missionsUpdated(object sender, DataTransferEventArgs e) { // Update the mission monitor's information monitor.writeMissions(); }