Key shorcut for going from command-line to task-tree
We need a key shorcut to move the focus from the command-line to the proof tree (i.e. the reverse of Enter) suggestion: Escape, or Enter when the input is empty
We need a key shorcut to move the focus from the command-line to the proof tree (i.e. the reverse of Enter) suggestion: Escape, or Enter when the input is empty