In other words, drop-down terminals are a very efficient method of using the command line. Also ... Keys and click Create a Dedicated Hotkey Window. In the resulting pop-up, click Click to Set next to ...