|
Drop Down Terminal (DDT) is an extension for the Gnome Shell, which does what its name implies: it puts a terminal in the Gnome Shell. Simple, fast and effective. |
Gnome Shell extension to access a terminal easily
|
|
Drop Down Terminal (DDT) is an extension for the Gnome Shell, which does what its name implies: it puts a terminal in the Gnome Shell. Simple, fast and effective. |