• Drop Down Terminal - GNOME Shell Extensions (how have i missed that? it's smoother than guakeand tilda for me) https://extensions.gnome.org/extension/442/drop-down-terminal/ 6 comments 7/6/2013 linux