ddterm/gnome-shell-extension-ddterm

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

JavaScriptStars 399Forks 30Watchers 399Open issues 59License GNU General Public License v3.0

Details

仓库信息

Ownerddterm

Last pushed2025-12-15

Last updated2025-12-15

Issues fetched at—

Community at a glance