/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

Watchers

No one’s watching this repository yet.