Jump back after editing

[NFiedler]

After editing an annotation, the tool should jump back to the verification view when the edit was initiated there. This affects the save and cancel functionalities including their shortcuts.