-
Florian Müllner authored
GTK+ recently gained a setting to control the layout of headerbar decorations. It's a reasonable expectation that we respect it, even if the result may turn out horribly unbalanced (in particular when moving everything into the sidebar on the left) ... https://bugzilla.gnome.org/show_bug.cgi?id=721889
2884f69f