|
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. |
Gnome Shell-extensie om gemakkelijk toegang te krijgen tot een terminal
|
|
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. |