-
Rounded Window Corners Reborn
Gnome Extension | GitHub
Add rounded corners to all windows. Fork of the now unmaintained Rounded Window Corners extension. -
Panel corners
Gnome Extension | GitHub
A GNOME shell extension to keep the old topbar corners, which were removed for GNOME 42. It also allows you to customize the rounded corners, even if you use GNOME 40 or 41. -
Panel Workspace Scroll
Gnome Extension | GitHub
Switch workspace by mouse scroll on the panel. In contrast to alternative extensions purpose of this one is to use the native scroll handler of gnome-shell, so workspace scroll should behave exactly the same as overview scroll or workspace indicator scroll. -
Gnome 4x UI Improvements
Gnome Extension | GitHub
Tunes gnome 4x Overview UI to make it more usable. -
ddterm
Gnome Extension | GitHub
Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively. -
Disable Workspace Switch Animation for GNOME 40+
Gnome Extension | GitHub
Disables the workspace switch animation while preserving all other animations - instantly switch between workspaces with keyboard shortcuts. -
Tiling Shell
Gnome Extension | GitHub
Extend Gnome Shell with advanced tiling window management. Supports multiple monitors, Windows 11 Snap Assistant, Fancy Zones, customised tiling layouts and more.
-
Notifications
You must be signed in to change notification settings - Fork 0
Gnome Extensions
pavlokobyliatskyi/gnome-extensions
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
About
Gnome Extensions