-
Matthias Clasen authored
This lets us change the border radius when the window is in one of these states. https://bugzilla.gnome.org/show_bug.cgi?id=709215
d6c866b6
This lets us change the border radius when the window is in one of these states. https://bugzilla.gnome.org/show_bug.cgi?id=709215