Comment 1 for bug 1569059

Ok, someone showed me I can actually swipe down the keyboard sliding down with the finger while pressing and holding a single key. Sorry, but that's a rather hard-to-find way of turning it off as I haven't done it in other apps where the keyboard automatically goes off when the focus leaves the edit area.

Also the now available space in the terminal won't be used for additional scrolling or output.

I would suggest to have an option to use the full area of the screen for terminal output. The input prompt and the previous output could be either moved up/down when switching the keyboard on/off or the input prompt could be overlaid as HUD while typing on the keyboard.