Fixes #759: go back to history when closing diff