mirror of
https://github.com/brl/mutter.git
synced 2025-02-05 08:04:10 +00:00
Florian Müllner
8a7a01b0cf
theme: Scale whitespace from theme with title_scale factor
GTK+ doesn't deal with different frame types for its client-side decorations - it just treats dialogs the same as normal windows and ignores the odder frame types like UTILITY and MENU. That's fine as those have largely gone out of fashion anyway, but it's a different case for the WM - we still have to support them somehow. For now, just apply the existing title_scale factor to the geometry information picked up from the theme in addition to the title font. If it turns out that there's demand for something more sophisticated, we can still consider adding wm-only style information to the GTK+ theme. https://bugzilla.gnome.org/show_bug.cgi?id=741917
Description
Languages
C
98.9%
Meson
0.7%
Python
0.3%