DD
ddterm/gnome-shell-extension-ddterm
Another drop down terminal extension for GNOME Shell. With tabs
Growth
- Last 24 hours
- +0
- stars
- Last 7 days
- +3
- 3× its usual pace
- Last 30 days
- +4
- stars
- Total stars
- 462
- 458 a month ago
- Forks
- 50
- 0 contributors
Star history
Last 12 weeks · weekly cumulative stars · computed from public GitHub star events
Rank in its topics
| Topic | Today | This week | This month |
|---|---|---|---|
| JavaScript | – | – | – |
| Terminal | – | – | – |
| Dotfiles & desktop | – | – | – |
README
gnome-shell-extension-ddterm
Another drop down terminal extension for GNOME Shell. With tabs
Upstar hasn’t fetched this README yet. Read it on GitHub.