Skip to content

A gnome-shell extension to keep the old topbar corners, which were removed for GNOME 42.

License

Notifications You must be signed in to change notification settings

somepaulo/panel-corners-gs46

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

63 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Panel corners

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.

Installation

The extension is available on extensions.gnome.org.

Otherwise, you can install the extension locally with:

make install

You can build a pkg with

make pkg

Don't forget to reload the shell after installing, and to enable the extension.

Customization

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 value

You can see available preferences in schemas/org.gnome.shell.extensions.panel-corners.gschemas.xml.

Versions support

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

License

This extensions is licensed under GPLv3.

About

A gnome-shell extension to keep the old topbar corners, which were removed for GNOME 42.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • JavaScript 97.0%
  • Makefile 3.0%