Drop Down Terminal
Extensão Gnome para o Terminal.
Comentários
[1] Comentário enviado por erisrjr em 18/01/2016 - 13:21h
Legal esta extensão.
https://extensions.gnome.org/extension/442/drop-down-terminal/
Eu acabava utilizando o guake terminal ou mesmo o yakuake
*Elaborando um pouco mais, você poderia falar sobre ela na sessão de dicas do VOL
------------------------------------------------------
KISS principle, RTFM and STFW = 42
Obrigado pela dica, vou preparar algo para apresentar .
https://extensions.gnome.org/extension/442/drop-down-terminal/
Eu acabava utilizando o guake terminal ou mesmo o yakuake
*Elaborando um pouco mais, você poderia falar sobre ela na sessão de dicas do VOL
------------------------------------------------------
KISS principle, RTFM and STFW = 42