-
Florian Müllner authored
Pick up the setting from the org.gnome.desktop.wm.preferences schema if available. It is slightly more involved than other settings, as the actual button names used in the schema differ from the ones we use, so we need an additional translation step. https://bugzilla.gnome.org/show_bug.cgi?id=731273
f4c963ef