|
Drop Down Terminal (DDT) este o extensie pentru Gnome Shell, care face ceea ce implică numele său: pune un terminal în Gnome Shell. Simplu, rapid și eficient. |
Extensie Gnome Shell pentru a accesa cu ușurință un terminal
|
|
Drop Down Terminal (DDT) este o extensie pentru Gnome Shell, care face ceea ce implică numele său: pune un terminal în Gnome Shell. Simplu, rapid și eficient. |