Hide the action bar unless the mouse is at the top of the window

[iBelieve]

This will give more space to the terminal, which is important because (1) the terminal is a dev tool and requires lots of screen space, and (2) the action bar doesn't has commonly used actions (though the actions it does have are important).