mirror of
https://github.com/mozilla/gecko-dev.git
synced 2025-11-01 08:48:25 +02:00
b18b41c1f7
We're getting the spacing from the wrong box (the headerbar, rather than the button box container). Even with that, some themes would use additional ways of creating spacing (paddings or margins). So in practice the 6px between buttons is just incorrect. Instead, just use the Adwaita spacing. We're using Adwaita styling anyways, so this makes the headerbar match perfectly in Gnome. With the Breeze theme (for KDE), this patch is closer than before (even though personally I might take some time to get used to it). We can also reduce it back to 6px between buttons in some DEs, if somebody complains, which is what we're shipping, effectively. Differential Revision: https://phabricator.services.mozilla.com/D256180 |
||
|---|---|---|
| .. | ||
| malloc_size_of | ||
| selectors | ||
| servo_arc | ||
| style | ||
| style_derive | ||
| style_traits | ||
| to_shmem | ||
| to_shmem_derive | ||