HoleEdit.ShownResult
HoleEdit: pick -> afterPick. resultPickEventMap: Reduce duplication
HoleEdit: Pick result event map put on whole HoleEdit, and not on each result and search term
HoleEdit: pick&resume work again