/gnome-shell-extension-ddterm

Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively

Primary LanguageJavaScriptGNU General Public License v3.0GPL-3.0

Stargazers

No one’s star this repository yet.