ddterm/gnome-shell-extension-ddterm
Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively
JavaScriptGPL-3.0
Stargazers
- AndresYepesMPalm Coast Florida
- Arcitec
- athamour1Greece
- bordamMilan, Italy
- ChristophSchmidpeter
- Dan-Master
- danialkeimasi@QueraTeam
- danilolcRio de Janeiro, Brazil
- darkpey
- DarukutsuSlovakia - Presov
- ddnexus
- dialvarezsUniversity of Magallanes
- diegodario88Home
- EmixamPPBelgium
- fyrkNew York
- githubRaghav
- icepieChina
- jacksongoodenLine, Inc
- jee-ron the tape ⏚
- JucgshuEurope/Paris
- kenkenspinJapan
- lifeBalanceHelsinki, Finland
- masaki-furuta
- MayurifagThailand
- minorsevenflatfive
- mjnaderi@QueraTeam
- nlpsuge
- omegaui@omegaui
- pesaderCampinas - SP, Brasil
- raphwriter
- raztorWebizy
- Rishabh672003@tcet-opensource
- runningmasterUkraine, Kyiv
- s0kilTryon, NC, USA
- teuspersi@prevision1
- u473t8