Terminal Drop Down (DDT) adalah ekstensi untuk Gnome Shell, yang melakukan apa yang tersirat dari namanya: menempatkan terminal di Gnome Shell. Sederhana, cepat, dan efektif. |
Terminal Drop Down (DDT) adalah ekstensi untuk Gnome Shell, yang melakukan apa yang tersirat dari namanya: menempatkan terminal di Gnome Shell. Sederhana, cepat, dan efektif. |
Ini seperti Yakuake untuk KDE dan sebelumnya biasa menggunakan Guake di gnome, tetapi di Unity itu tidak berfungsi dan siapa tahu jika di Gnome Shell itu akan pergi, seperti ekstensi yang sangat bagus 🙂
Saya menggunakan guake di gnome shell dan berfungsi dengan baik 😀
Menarik
Saya sudah memilikinya tetapi saya tidak tahu cara menggunakannya
Ekstensi luar biasa !!!
Begitu juga…