ddterm/gnome-shell-extension-ddterm
Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively
⭐ 453
⑂ 49
JavaScript
GPL-3.0
· 6 小时前推送
453
Watchers
0
贡献者
0
Commits
0
Releases
72
Open Issues
6 小时前
最近推送
原文
中文
暂无 README