dropdown Terminal is een GNOME Shell-extensie die een drop-down, & nbsp implementeert; Quake-achtige terminal voor de GNOME desktop omgeving.Om deze uitbreiding te installeren moet u GNOME Shell geïnstalleerd of kaneel. . Echter, in gedachten houden dat...