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

Related tags

CSS extension gnome gnome-shell corners gnome-shell-extension rounded-corners corner-radius
Overview

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 Alexander 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
  • GNOME shell 41
  • GNOME shell 40

License

This extensions is licensed under GPLv3.

Comments
  • Make screen corners appear in the right place on multi-screen systems

    Make screen corners appear in the right place on multi-screen systems

    Fixes #2, partially #4

    I also tried fixing #3, but it looks like panel_corners.js is currently completely broken, as when I commented out the rendering code in screen_corner.js I didn't see any rounded corners (even in the overview). I wasn't really able to understand how it's supposed to work, so I can't fix that

    edit: actually, it looks like panel corners do work, but only on Wayland (and I didn't notice because I used Xorg so I can reload without relogging)

    edit 2: actually no, I accidentally rebooted into an ostree deployment which is still on gnome-shell 41

    opened by laurinneff 4
  • TypeError: prefsModule.buildPrefsWidget is not a function

    TypeError: prefsModule.buildPrefsWidget is not a function

    The new preferences with v4 (d933ed0) is not opening:

    Manjaro GNOME GNOME Shell 41.4

    The settings of extension panel-corners@aunetx had an error:

    TypeError: prefsModule.buildPrefsWidget is not a function

    Stack trace:

    _init@resource:///org/gnome/Shell/Extensions/js/extensionsService.js:219:40
OpenExtensionPrefsAsync/<@resource:///org/gnome/Shell/Extensions/js/extensionsService.js:128:33
asyncCallback@resource:///org/gnome/gjs/modules/core/overrides/Gio.js:115:22
run@resource:///org/gnome/Shell/Extensions/js/dbusService.js:177:20
main@resource:///org/gnome/Shell/Extensions/js/main.js:19:13
run@resource:///org/gnome/gjs/modules/script/package.js:206:19
start@resource:///org/gnome/gjs/modules/script/package.js:190:8
@/usr/share/gnome-shell/org.gnome.Shell.Extensions:1:17
    opened by yochananmarqos 3
  • Screen corners drawn on top of each other on multiple monitors

    Screen corners drawn on top of each other on multiple monitors

    Screen corners are drawn on top of each other instead of on the secondary / primary monitors (depending on monitor setup).

    set_position(x, y)

    in

    ScreenCorner._update_allocation()

    seems to take absolute coordinates and not monitor relative ones.

    opened by Klapstuhl 1
  • Enable on lock screen and GDM

    Enable on lock screen and GDM

    Since Gnome 42, its possible for extension to be enabled on lock screen and gdm https://gjs.guide/extensions/upgrading/gnome-shell-42.html#metadata-json Is this something that can be enabled for this ? Currently the lock screen and GDM sow up with rounded screen corners which breaks the effect of having rounded screens.

    opened by sidevesh 0
  • Extension not working on Linux Mint 20.3

    Extension not working on Linux Mint 20.3

    Error: Requiring Adw, version none: Typelib file for namespace 'Adw' (any version) not found

    Stack trace: @/home/daviinacio/.local/share/gnome-shell/extensions/panel-corners@aunetx/prefs.js:3:47 _init@resource:///org/gnome/Shell/Extensions/js/extensionsService.js:204:33 OpenExtensionPrefsAsync/<@resource:///org/gnome/Shell/Extensions/js/extensionsService.js:122:28 asyncCallback@resource:///org/gnome/gjs/modules/core/overrides/Gio.js:132:13 run@resource:///org/gnome/Shell/Extensions/js/dbusService.js:175:20 main@resource:///org/gnome/Shell/Extensions/js/main.js:19:13 run@resource:///org/gnome/gjs/modules/script/package.js:222:19 start@resource:///org/gnome/gjs/modules/script/package.js:206:5 @/usr/share/gnome-shell/org.gnome.Shell.Extensions:1:17

    opened by daviinacio 0
  • feature request: disable when app is fullscreened

    feature request: disable when app is fullscreened

    when playing fullscreen games, i am unable to click any of the corners of my screen which interferes with flicking the mouse in any of those 4 corners when playing shooters. to avoid this issue, panel corners should have an option to temporarily disable itself when a fullscreen app is foregrounded.

    opened by nanopone 0
Releases(v6)
Owner
Aurélien Hamy
A fish swimming in acid.
Aurélien Hamy
GitHub https://extensions.gnome.org/extension/4805/panel-corners/
GNOME Shell extension to integrate Plank, the simplest dock on the planet.

Dash to Plank Gnome Shell extension to integrate Plank, the simplest dock on the planet. To use this extension you must install Plank on your system.

Hardpixel 36 Dec 9, 2022
Extension personnelle pour GNOME SHELL

Extension perso GNOME Extension personnelle pour GNOME SHELL qui affiche des vues différentes dans la barre des tâches. Les vues affichent des informa

Adrien_D 20 Nov 13, 2022
Another Drop Down Terminal Extension for GNOME Shell

Another Drop Down Terminal Extension for GNOME Shell

Guilhem Lettron 9 Apr 6, 2022
GNOME Shell extension for controling Lenovo IdeaPad laptops options.

IdeaPad Controls GNOME Shell extension for controling Lenovo IdeaPad laptops options. Available options: Conservation Mode, Camera Lock, Fn Lock, Touc

null 17 Dec 23, 2022
A Gnome extension to remind you to give a rest to your eyes every a specific period of time

A Gnome extension to remind you to give a rest to your eyes every a specific period of time

null 8 Jun 21, 2022
Tunes overview UI of the gnome 40 a bit

Gnome 40 Overview UI Tune Simple gnome-shell (v40.0) extension that tunes overview UI to make it more usable. Changes Search textbox is hidden by defa

Alexey Manukhin 68 Nov 28, 2022
Playground for GNOME development

Workbench Playground for GNOME development Workbench aims to provide a great developer experience for the following use cases An application to learn

Sonny Piers 344 Jan 5, 2023
Simplify gnome-extensions development

GISP GISP Is a Starter Pack About GISP is a project to simplify ?? gnome-extensions development. There're hundrends (maybe thousands?) of javascript d

Leandro Simões 3 Jul 18, 2022
Chrome extension that creates a button on Lever job application pages which shows you how their api parses your resume.

EDIT I have helped make a website that provides the same functionality. Repo: https://github.com/KnlnKS/resume-parser Site: https://resume-parser.verc

Kunalan Kevin Subagaran 17 May 19, 2022
A plugin for Babel v6 which transforms inline styles defined in JavaScript modules into class names so they become available to, e.g. the `className` prop of React elements. While transforming, the plugin processes all JavaScript style definitions found and bundles them up into a CSS file, ready to be requested from your web server.

babel-plugin-css-in-js A plugin for Babel v6 which transforms inline styles defined in JavaScript modules into class names so they become available to

Martin Andert 302 Sep 26, 2022
JSS is an authoring tool for CSS which uses JavaScript as a host language.

JSS A lib for generating Style Sheets with JavaScript. For documentation see our docs. Backers Support us with a monthly donation and help us continue

JSS 6.9k Dec 31, 2022
Automatically convert those LESS file which is not using less function to CSS.

less-2-css Automatically convert those .less file which is not using less function to .css. Why Less is a powerful CSS pre-processor, but it also very

UmiJS 14 May 24, 2022
Source code for Chrome/Edge/Firefox/Opera extension Magic CSS (Live editor for CSS, Less & Sass)

Live editor for CSS, Less & Sass (Magic CSS) Extension Live editor for CSS, Less & Sass (Magic CSS) for Google Chrome, Microsoft Edge, Mozilla Firefox

null 210 Dec 13, 2022
Chrome extension to automatically mute/unmute Spotify tab when Advertisement starts and ends!

Ad free spotify Chrome extension to automatically mute/unmute Spotify tab when there's an Advertisement starts or ends. How to install Download Zip fi

Vivek 23 Dec 25, 2022
A gnome-shell extensions that try to add rounded corners for all windows

Rounded Window Corners A gnome-shell extensions that try to add rounded corners for all windows Features Works with Gnome 40/41/42 Custom border radiu

Yi 194 Jan 3, 2023
Simple string diffing. Given two strings, striff will return an object noting which characters were added or removed, and at which indices

Simple string diffing. Given two strings, striff will return an object noting which characters were added or removed, and at which indices

Alex MacArthur 196 Jan 6, 2023
⚡️The Fullstack React Framework — built on Next.js

The Fullstack React Framework "Zero-API" Data Layer — Built on Next.js — Inspired by Ruby on Rails Read the Documentation “Zero-API” data layer lets y

⚡️Blitz 12.5k Jan 4, 2023
GNOME Shell extension to integrate Plank, the simplest dock on the planet.

Dash to Plank Gnome Shell extension to integrate Plank, the simplest dock on the planet. To use this extension you must install Plank on your system.

Hardpixel 36 Dec 9, 2022
Extension personnelle pour GNOME SHELL

Extension perso GNOME Extension personnelle pour GNOME SHELL qui affiche des vues différentes dans la barre des tâches. Les vues affichent des informa

Adrien_D 20 Nov 13, 2022
A dock for the Gnome Shell. This extension moves the dash out of the overview transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops. Features modifications for tauOS.

Dash to Dock A dock for the GNOME Shell This extension enhances the dash moving it out of the overview and transforming it in a dock for an easier lau

tauOS 17 Jul 10, 2022