3 Repositories
JavaScript corners Libraries
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
Jan 3, 2023
Small, typed, dependency free tool to round corners of 2d-polygon provided by an array of { x, y } points.
round-polygon Small, typed, dependency-free tool to round corners of 2d-polygon provided by an array of { x, y } points. The algorithm prevents roundi
Nov 26, 2022
A gnome-shell extension to keep the old topbar corners, which were removed for GNOME 42.
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 cor
Dec 10, 2022