Skip to content

pavlokobyliatskyi/gnome-extensions

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

1 Commit
 
 

Repository files navigation

Gnome Extensions:

  • 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.