zzrough / gs-extensions-drop-down-terminalView external linksLinks
Drop Down Terminal extension for the Gnome Shell
☆417Jul 7, 2021Updated 4 years ago
Alternatives and similar repositories for gs-extensions-drop-down-terminal
Users that are interested in gs-extensions-drop-down-terminal are comparing it to the libraries listed below
Sorting:
- A mediaplayer indicator for GNOME Shell 3.18+.☆378Jun 7, 2019Updated 6 years ago
- Coverflow like Alt-Tab replacement for Gnome-Shell☆394Nov 12, 2025Updated 3 months ago
- An gnome-shell extension to put the icons back to the tray.☆677May 31, 2023Updated 2 years ago
- A dock for the Gnome Shell. This extension moves the dash out of the overview transforming it in a dock for an easier launching of ap…☆4,164Jan 6, 2026Updated last month
- A gnome shell extension that transforms the workspaces into an intellihide dock☆261Oct 17, 2023Updated 2 years ago
- Gnome-shell extension disabling hotcorners☆89Jul 9, 2021Updated 4 years ago
- Pixel Saver is designed to save pixel by fusing activity bar and title bar in a natural way.☆680Nov 14, 2023Updated 2 years ago
- A tiling window extension for GNOME Shell☆643Apr 17, 2023Updated 2 years ago
- A GNOME Shell extension that shows favorite app launchers in Super+Tab popup.☆11Mar 24, 2024Updated last year
- The most popular clipboard manager for GNOME, with over 1M downloads☆1,121Sep 22, 2025Updated 4 months ago
- This extension is in low-maintenance mode, see disclaimer in README☆114Apr 10, 2021Updated 4 years ago
- A GNOME extension allowing easy management of "appfolders" directly from the applications grid.☆92Apr 9, 2020Updated 5 years ago
- gnome-shell-extension☆23Jul 24, 2022Updated 3 years ago
- Gnome shell extension: Shows CPU temperature, HDD temperature, voltage and fan RPM☆168Mar 29, 2024Updated last year
- tiling window manager extension for gnome-shell☆393Jan 22, 2018Updated 8 years ago
- Gnome Shell Extension - Refresh Wifi☆56Apr 22, 2022Updated 3 years ago
- Gnome shell extension to add transparency to notifications☆12Apr 10, 2021Updated 4 years ago
- Gnome-Shell extension allowing better interaction with the volume indicator, via mouse scroll/middle-button☆16Jan 28, 2019Updated 7 years ago
- GNOME Shell Extensions - Backup Tools / 备份工具☆15Jul 19, 2020Updated 5 years ago
- A simple nautilus extension adding a submenu to the right-click, with a list of apps you can use to open the selected files.☆12Feb 25, 2023Updated 2 years ago
- This extension simplifies the use of the video recording function integrated in gnome shell, allows quickly to change the various setting…☆419Nov 18, 2025Updated 2 months ago
- GNOME Shell extension for inverting the color of windows☆44Oct 16, 2024Updated last year
- gnome shell extension to enable/disable extension easily via a panel menu☆39Jun 13, 2021Updated 4 years ago
- A flat theme with transparent elements☆8,271Feb 22, 2021Updated 4 years ago
- GNOME Shell Extension Suspend-Button for GNOME 3.10 / 3.12☆85May 26, 2020Updated 5 years ago
- GNOME Shell Extension TaskBar☆150Nov 15, 2021Updated 4 years ago
- Read-only mirror of https://gitlab.gnome.org/tuxor1337/hidetopbar. Pull requests and issues on GitHub cannot be accepted and will be auto…☆556Sep 29, 2025Updated 4 months ago
- Drop-down terminal for GNOME☆4,616Feb 3, 2026Updated last week
- Devhints cheatsheets, updated with the new layout for devhints-engine☆14Aug 3, 2020Updated 5 years ago
- cross platform wxpython interface to stormssh.☆31Aug 26, 2016Updated 9 years ago
- Simple todo list extension for gnome-shell☆62Jul 18, 2023Updated 2 years ago
- ☆1,102Sep 7, 2018Updated 7 years ago
- A GNOME Shell extension to synchronize your user icon with Gravatar.☆32Nov 25, 2023Updated 2 years ago
- Icon Hider is a gnome-shell extension for managing status area items.☆31Aug 17, 2021Updated 4 years ago
- Create GNOME Shell extensions in seconds☆1,769Sep 25, 2025Updated 4 months ago
- Read-only mirror of https://gitlab.gnome.org/GNOME/gnome-shell☆921Feb 6, 2026Updated last week
- A Material Design theme for GNOME/GTK based desktop environments☆3,499Jun 16, 2024Updated last year
- Integrate your music into Gnome Shell☆35Mar 19, 2012Updated 13 years ago
- A tiling terminal emulator for Linux using GTK+ 3☆5,616Jan 20, 2026Updated 3 weeks ago