Multiple behaviour tweaks
- Instead of tapping the bottom right keyboard button, the keyboard should be brought out by tapping anywhere within the terminal.
- Add an option to keep the notification bar visible.
- The navigation and shortcut/tool bar should both be visible at all times.
Also, add an option to remove the gesture button in the bottom left. That way all 8 shortcuts are easily accessible without needing to swipe. I never use the gestures anyway.