I've used drop-down terminals for a long time because I don't have to take my fingers off the keyboard to run a command. Instead of grabbing the mouse, opening the desktop menu, finding the ... This ...