THIS EXTENSION IS NO LONGER SUPPORTED. If you are looking for an alternative please look at that https://extensions.gnome.org/extension/3780/ddterm awesome extension. A GNOME Shell drop down terminal with extra feautures. Special thanks to: - Osman Alperen Elhan (https://github.com/oae) - Balder Claassen (https://github.com/balderclaassen) - Adrien Pyke (https://github.com/kufii) - Alan J Carvajal (https://github.com/ajcarvajal) - Massimo Mund (https://github.com/masmu) - Jakub Żywiec (https://github.com/jakubzet) - Mattias Eriksson (https://github.com/snaggen) - Henry78 (https://github.com/Henry78) - Maxim Toropov (https://github.com/MaxMaxoff) for active contribution. Based on original extension "gs-extensions-drop-down-terminal" from Stéphane Démurget (https://github.com/zzrough)
Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.
| Version | Status |
|---|---|
| 17 | Active |
| 16 | Active |
| 15 | Active |
| 14 | Active |
| 13 | Active |
| 12 | Active |
| 11 | Active |
| 10 | Active |
| 9 | Rejected |
| 8 | Active |
| 7 | Active |
| 6 | Active |
| 5 | Active |
| 4 | Active |
| 3 | Active |
| 2 | Active |
| 1 | Active |
Drop Down Terminal X