Show/hiding the top dockable causes text to jump down and up in the textarea whenever it is shown/hidden. It would be nice if it didn't do that.
It would be nice if, when the top dockable becomes visible,
it just eats some of the textarea's visible area without changing where the other visible lines are displayed.
Diff: