gecko-dev/servo
Emilio Cobos Álvarez 884175baf6 Bug 1850827 - Implement rounded bottom corners in GTK. r=rmader
The implementation is uglier than it needs to be. We basically need to
override the GTK styles for the window decorations with the desired
radius.

This is because of two reasons:

 * Adwaita on gtk3 doesn't provide a bottom corner radius.
 * Even if it did we couldn't reasonably query it, see comment 4.

So in order for stuff to look sensible we need to make sure that we and
GTK agree on what radius to use. Using the titlebar radius makes sense
here.

Differential Revision: https://phabricator.services.mozilla.com/D187343
2023-09-05 18:07:08 +00:00
..
components Bug 1850827 - Implement rounded bottom corners in GTK. r=rmader 2023-09-05 18:07:08 +00:00
ports/geckolib Bug 1850414 - Simplify style sheet source-map URL code. r=layout-reviewers,firefox-style-system-reviewers,webidl,smaug,boris 2023-08-30 09:27:06 +00:00
tests/unit Bug 1846745 - Update cssparser. r=tlouw,supply-chain-reviewers 2023-08-02 16:57:37 +00:00
moz.build
rustfmt.toml