/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

No issues in this repository yet.