Esta é uma extensão para o GNOME Shell que adiciona uma opção para abrir um terminal drop-down. Ele é encontrado no
Github e é uma versão de desenvolvimento.
