"Please select a goal first" should select the goal node immediately above a prover node
When entering a command that requires a goal node, such as "print", with the focus on a proof node, the command fails with the message "Please select a goal first". I would like the closest ancestor goal node (usually the father) to be automatically selected in these cases.