Node expansion shortcuts
Some collapsed nodes have many nested transformations before any proof nodes. I did not find any good way to expand them without clicking on many '+' signs or alternating between '+' and arrow keys many times. The following would be nice to have :
- a local equivalent to Ctrl+E that fully expands one node (and not the whole session)
- pressing '+' on an already expanded node should expand all of its children