Closed paolocalosso closed 10 months ago
hello again, i notice a second issue when i opened gnome extensions manager: the corners of the listed extensions are not matching with the corresponding areas because of the radius i think.
os: ubuntu 23.04 gnome: 44
here the screenshot:
thank you
hello again, i notice a second issue when i opened gnome extensions manager: the corners of the listed extensions are not matching with the corresponding areas because of the radius i think.
os: ubuntu 23.04 gnome: 44
here the screenshot:
thank you