-
Matthias Clasen authored
If the theme has rounded corners for fullscreen, we don't tell the window manager that we are now fully opaque, which then makes things less efficient than they should be. https://bugzilla.gnome.org//show_bug.cgi?id=761571
667069cf