Drop Down Terminal
Drop down terminal toggled by a keystroke (the key above tab by default) for advanced users.
- Extension Homepage
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?