GNOME Bugzilla – Bug 746172
Don't allow border-radius in headerbars when using server-side decorations
Last modified: 2015-03-13 18:52:44 UTC
Ambiance gives headerbars rounded corners when when they aren't being used for title bars. We had previously worked around this, but I think it got lost in the split headerbar upgrade.
Created attachment 299350 [details] [review] Don't allow border-radius in headerbars when using server-side decorations The Ambiance theme isn't smart enough to give headerbars square corners when they aren't being used as title bars. In this case, they're always inside vertical Gtk.Boxes, so we target a CSS rule at that.
Review of attachment 299350 [details] [review]: Commit!
Attachment 299350 [details] pushed as 06e6b59 - Don't allow border-radius in headerbars when using server-side decorations