Bug#844354: RFP: gnome-shell-extension-remove-rounded-corners -- Hide rounded corners

To: 844354@bugs.debian.org
Subject: Bug#844354: RFP: gnome-shell-extension-remove-rounded-corners -- Hide rounded corners
From: Daniel Baumann <daniel.baumann@progress-linux.org>
Date: Fri, 24 Feb 2023 18:53:25 +0100
Message-id: <[🔎] d30b7477-60a7-7d91-4014-c405b996c2f5@progress-linux.org>
Reply-to: daniel.baumann@progress-linux.org, 844354@bugs.debian.org
References: <7d854b64-a24d-0e7d-2f32-ad5f6be787a8@progress-technologies.com>

close 844354
thanks

Hi,

GNOME >=40 switched to non-rounded corners for fullscreen windows by
default, making this extension obsolete, hence closing the bug.

Regards,
Daniel

Reply to:

Follow-Ups:
- Processed: Re: RFP: gnome-shell-extension-remove-rounded-corners -- Hide rounded corners
  - From: "Debian Bug Tracking System" <owner@bugs.debian.org>

Prev by Date: Bug#1031882: ITP: python-broadlink -- Python API for controlling Broadlink devices
Next by Date: Processed: Re: RFP: gnome-shell-extension-remove-rounded-corners -- Hide rounded corners
Previous by thread: Bug#1031882: ITP: python-broadlink -- Python API for controlling Broadlink devices
Next by thread: Processed: Re: RFP: gnome-shell-extension-remove-rounded-corners -- Hide rounded corners
Index(es):
- Date
- Thread