Drop down terminal forked from `zzrough/gs-extensions-drop-down-terminal`, add feature: auto hide terminal when loss focus, and hide when press right Alt. open shortcut use `Alt-T` recommended.
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…