jdoda / hotedgeLinks
A GNOME Shell extension that replaces the top-left hot corner with a bottom hot edge.
☆65Updated 4 months ago
Alternatives and similar repositories for hotedge
Users that are interested in hotedge are comparing it to the libraries listed below
Sorting:
- Alphabetically order GNOME's app grid and folders☆126Updated this week
- V-Shell is a GNOME Shell extension that allows you to customize the layout and behavior of the Shell UI.☆269Updated this week
- Dynamic wallpaper maker for Gnome 42☆155Updated 8 months ago
- Display the current weather inside the pill next to the clock.☆68Updated 4 months ago
- A gnome-shell extension to keep the old topbar corners, which were removed for GNOME 42.☆64Updated 4 months ago
- Change the GTK3 theme to light/dark variant based on the system color scheme☆38Updated 3 months ago
- VS Code theme for the GNOME desktop☆167Updated 11 months ago
- Extension for Nautilus (GNOME Files) which adds right-click menu items to open current folder in code editors e.g. VSCode, GNOME Builder☆88Updated 6 months ago
- ☆105Updated last week
- A simple sticky notes app for GNOME☆225Updated 2 months ago
- Open BlackBox from Nautilus.☆54Updated 5 months ago
- Simple color picker for GNOME Shell.☆172Updated 3 months ago
- A GNOME Shell Extension that provides 7 custom accent colors for versions 43-46. The selected accent color can be applied to GTK4/GTK3 ap…☆73Updated 10 months ago
- ☆102Updated 5 months ago
- Escambo is an HTTP-based APIs test application for GNOME☆142Updated last year
- A repository for custom Adwaita folders to help organize directories.☆128Updated 2 years ago
- An emoji picker for linux, with custom tags support and localization. I'll also put some random emojis here 🦁🐾🦔🦇☆351Updated 5 months ago
- A GNOME Shell Extension that allows you to give a function to any corner or edge of your monitors and expand your keyboard capabilities.☆142Updated 2 months ago
- Quick access menu for the GNOME panel with options that help ease the workflow for newcomers and power users alike.☆72Updated last month
- A Gnome Shell extension that allows you to hide selected devices from the Quick Settings audio devices panel☆25Updated 4 months ago
- Let's tweak gnome Quick Settings! You can add Media Controls, Notifications, Volume Mixer on quick settings and remove useless buttons!