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.
- if your GNOME shell theme still supports rounded corners (which is the case for Adwaita until GNOME 42), then this extension will provide them.
- else, this extension will provide them, and manage automatically the corners settings: the radius, background-color, ... which are normally set by the theme are then managed by the extension directly.
If your theme supports panel corners but you want to customize them anyway, you can set the setting force-extension-values to true (see Customization).
A very big part of the code is directly ported from the official GNOME shell repository, so the immense majority of the work was done by various gnome contributors. All this extension does is integrate the previous code as an extension, provide some configuration options and make all of this compatible for GNOME 42 and later.
The bottom corners code is directly ported from this merge request by Alice Mikhaylenko to have roundness on every corner of every screen.
The extension is available on extensions.gnome.org.
Otherwise, you can install the extension locally with:
make installYou can build a pkg with
make pkgDon't forget to reload the shell after installing, and to enable the extension.
GUI preferences should come soon, you can use dconf/gsettings to change extension settings if you want to test them early:
# you first need to build
make build
# then change any preference
gsettings --schemadir=build/schemas set org.gnome.shell.extensions.panel-corners preference valueYou can see available preferences in schemas/org.gnome.shell.extensions.panel-corners.gschemas.xml.
This extension was created for GNOME 42 and later, but is backward-compatible.
Supported GNOME shell versions are:
- GNOME shell 42 : last extension version
- GNOME shell 41 : up to version 3
- GNOME shell 40 : up to version 3
This extensions is licensed under GPLv3.