Menu
▾
▴
#360 Default horizontal scrolling of proof tree
When a proof is opened, the proof tree view is scrolled vertically to show the goal. However, the horizontal scrollbar remains to the left. If the proof is large and deep, the proof tree window will appear entirely blank and the user will have to horizontally scroll to the right to find the goal, which can be confusing.
It would be better to horizontally scroll the window too, such that the goal is immediately visible.
