mirror of
https://github.com/brl/mutter.git
synced 2025-04-12 13:19:38 +00:00

With support for the old metacity theme format gone, there's no reason to keep storing theme information in terms of the old theme properties. Just store the padding/border information for each element directly. https://bugzilla.gnome.org/show_bug.cgi?id=741917
Description
Languages
C
98.9%
Meson
0.7%
Python
0.3%