Another drop down terminal extension for GNOME Shell. With tabs
↑ +1 today
Discover the best Dropdown Terminal open source repositories on GitHub. Explore trending tools, live star counts, source code, and developer projects updated daily.