avoid jumping after deleting a detached subgoal
Detached subgoals come at the end of the list of subgoals, which can be very long. When deleting such a subgoal it would be better to stay in the same place rather than jumping back up to the parent.
Detached subgoals come at the end of the list of subgoals, which can be very long. When deleting such a subgoal it would be better to stay in the same place rather than jumping back up to the parent.