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,181Updated this week
- 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
- Gnome Shell Extensions etc...☆66Jun 13, 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
- Add dynamic quicklists with nautilus bookmarks or recent files.☆17Nov 20, 2021Updated 4 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
- GnoMenu - is a traditional styled full featured Gnome-Shell apps-menu, that aims to offer all the essentials in a simple uncluttered intu…☆119Feb 18, 2021Updated 4 years ago
- The most popular clipboard manager for GNOME, with over 1M downloads☆1,122Sep 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
- System monitor extension for Argos☆18Dec 27, 2022Updated 3 years ago
- Neutral dark-mode version of nana-4's awesome Flat-Plat (note: unmaintained - upstream now also uses neutral grey)☆25Apr 13, 2018Updated 7 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
- 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
- GNOME Shell Extensions - Backup Tools / 备份工具☆15Jul 19, 2020Updated 5 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,616Updated this week
- gnome shell extension that tiles windows as you like.☆201Oct 18, 2017Updated 8 years ago
- An extension for gnome shell that will change the screen brightness when the machine is running on battery power☆17Jan 15, 2023Updated 3 years ago
- GNOME Shell Extension allowing separate configuration of PulseAudio devices☆136Jul 18, 2023Updated 2 years ago
- Bring Out Submenu Of Power Off Button☆32Oct 6, 2025Updated 4 months ago
- cross platform wxpython interface to stormssh.☆31Aug 26, 2016Updated 9 years ago
- Unity-like shortcuts for gnome dock applications☆52Jul 15, 2021Updated 4 years ago
- Simple todo list extension for gnome-shell☆62Jul 18, 2023Updated 2 years ago