Drop-down terminal (DDT) is een uitbreiding op Gnome Shell, die doet wat de naam aangeeft: het plaatst een terminal in Gnome Shell. Eenvoudig, snel en effectief. |
Drop-down terminal (DDT) is een uitbreiding op Gnome Shell, die doet wat de naam aangeeft: het plaatst een terminal in Gnome Shell. Eenvoudig, snel en effectief. |
Het is net als Yakuake voor KDE en voorheen was het gebruikelijk om Guake in gnome te gebruiken, maar in Unity werkt het niet en wie weet of het in Gnome Shell zal werken, hoe dan ook, een zeer goede extensie 🙂
Ik gebruik guake in gnome shell en het werkt als een tierelier 😀
Interessant
Ik heb het al, maar ik weet niet hoe ik het moet gebruiken
Uitstekende verlenging!!!
Dus is ...