Extension: Drop down terminal
Drop down terminal toggled by a keystroke (the key above tab by default) for advanced users.
All you need to do is navigate to here and toggle the on/off switch then allow the extension to install. Then the extension will activate straight away.
Thank you for reading.