Beta

GNOMEExtensions

Drop Down Terminal

by zzrough

Drop down terminal toggled by a keystroke (the key above tab by default) for advanced users.

Extension Homepage
https://github.com/zzrough/gs-extensions-drop-down-terminal

User Reviews

Loading reviews...

Your opinion

Unfortunately, to help prevent spam, we require that you log in to GNOME Shell Extensions in order to post a comment or report an error. You understand, right?