Automatically close the "mini" terminal when opening the "full page" version

[stefan]

Basically, make the button switch to a full page.