|
Drop Down Terminal (DDT) est une extension du Gnome Shell, qui fait ce que son nom l'indique: il met un terminal dans le Gnome Shell. Simple, rapide et efficace. |
Extension Gnome Shell pour accéder facilement à un terminal
|
|
Drop Down Terminal (DDT) est une extension du Gnome Shell, qui fait ce que son nom l'indique: il met un terminal dans le Gnome Shell. Simple, rapide et efficace. |