diff options
author | Florian Müllner <[email protected]> | 2014-09-27 18:04:20 +0300 |
---|---|---|
committer | Victor Kareh <[email protected]> | 2018-08-28 09:38:37 -0400 |
commit | 997488f903cef76143e5b0f19a906cbb549d5761 (patch) | |
tree | fad0a52ca3f6c00f332be467acbc3cf2ad4e8f3b /src/core/display.c | |
parent | 33c75c2a39c2f6da4a76a556e55f4a4a57aa7cd4 (diff) | |
download | marco-997488f903cef76143e5b0f19a906cbb549d5761.tar.bz2 marco-997488f903cef76143e5b0f19a906cbb549d5761.tar.xz |
theme: Add background functions for single buttons
With the existing background functions, single buttons can not be
styled separately - on the left side, the style of the left button
is picked, and the right button's style on the right side.
As theme authors may want to add rounded corners to button groups
as a whole, it makes sense to treat the case of a single button in
a group differently.
https://bugzilla.gnome.org/show_bug.cgi?id=635683
NOTE: Patch copied from mutter and adapted for metacity.
Diffstat (limited to 'src/core/display.c')
0 files changed, 0 insertions, 0 deletions