bigbn / drop-down-terminal-x
Drop Down Terminal X extension for the Gnome Shell
☆91Updated 4 years ago
Alternatives and similar repositories for drop-down-terminal-x:
Users that are interested in drop-down-terminal-x are comparing it to the libraries listed below
- A bash script to search and install extensions from extensions.gnome.org☆207Updated 2 years ago
- A gnome shell extension that transforms the workspaces into an intellihide dock☆262Updated last year
- [Not maintained] GNOME Shell Extension that adds application icons to the windows overview (in Activities menu)☆71Updated last year
- Drop Down Terminal extension for the Gnome Shell☆416Updated 3 years ago
- Provides a way to run menubar commands in KDE Plasma through rofi, much like the Unity 7 Heads-Up Display (HUD).☆235Updated 2 years ago
- Touchpad management GNOME Shell Extension.☆83Updated last year
- A full featured MPRIS indicator button extension for GNOME Shell 3.38+☆158Updated last year
- Unity like HUD menu for the GNOME Desktop Environment using rofi menu.☆119Updated 3 years ago
- A theme for Firefox 57+ matching GNOME Adwaita.☆198Updated 5 years ago
- Change your nautilus directories icons easily!☆102Updated last month
- An gnome-shell extension to put the icons back to the tray.☆39Updated 5 years ago
- Update indicator for ArchLinux and Gnome-Shell☆235Updated last month
- Removes the dropdown arrows from the AppMenu and SystemMenu (AggregateMenu) which were introduced in Gnome 3.10.☆52Updated 5 years ago
- GNOME shell extension - Tray icons☆76Updated 3 years ago
- A GNOME extension allowing easy management of "appfolders" directly from the applications grid.☆92Updated 4 years ago
- Look at your windows and desktops from above.☆358Updated 3 years ago
- KDE Connect/MConnect integration for Gnome Shell☆150Updated 7 years ago
- GnoMenu - is a traditional styled full featured Gnome-Shell apps-menu, that aims to offer all the essentials in a simple uncluttered intu…☆120Updated 3 years ago
- Adds Transparency To The Gnome Shell Panel☆229Updated 7 months ago
- Simple, set-and-forget python application for changing between desktop themes according to light and dark hours☆208Updated 4 years ago
- Better touchpad gesture handling for GNOME☆301Updated 3 years ago
- Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively☆333Updated this week
- Cast files to Chromecast, web browser or media player app over local network.☆292Updated 2 years ago
- Gnome GDM Login Theme Manager. Easy and Fast Login Theme Manipulation☆196Updated 2 years ago
- Gnome Email Notifications☆85Updated last year
- GNOME Shell Extension allowing separate configuration of PulseAudio devices☆136Updated last year
- Apply a Blur Effect to GNOME Shell UI elements☆222Updated 2 years ago
- ☆195Updated 2 years ago
- Integrates maximized windows with the top panel☆66Updated 2 years ago
- Gnome shell extension for closing apps in overview with a middle click☆82Updated last week