My previous attempts to set it via dconf failed, but GNOME Tweak Tool and re-login worked. Dogfooding now (om nom nom). Bugs so far: https://bugs.launchpad.net/egtk/+bug/963660, https://bugs.launchpad.net/egtk/+bug/964086. Hope the second one is a duplicate and I'm not the first to report this.
-- shnatsel -- Mailing list: https://launchpad.net/~elementary-dev-community Post to : elementary-dev-community@lists.launchpad.net Unsubscribe : https://launchpad.net/~elementary-dev-community More help : https://help.launchpad.net/ListHelp