/// <summary>Called when an import has finished, whether successfully or not.</summary> void ImportFinished(ImportedKey[] results) { TaskFinished(); if(results != null) { if(ImportCompleted != null) ImportCompleted(this, results); PGPUI.ShowImportResults(results); } }