Drop Down Terminal

by zzrough | 517538 downloads

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

Extension Homepage

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?

User Reviews

Loading reviews…