|
Drop Down Terminal (DDT) es una extensión para Gnome Shell, que hace lo que su nombre implica: coloca un terminal en Gnome Shell. Simple, rápido y efectivo. |
Extensión de Gnome Shell para acceder a un terminal fácilmente
|
|
Drop Down Terminal (DDT) es una extensión para Gnome Shell, que hace lo que su nombre implica: coloca un terminal en Gnome Shell. Simple, rápido y efectivo. |