Reading the comments, and the linked comment on https://bugzilla.gnome.org/show_bug.cgi?id=711426, it seems that the GNOME resolution is WONTFIX --- letting the options in gnome-tweak-tool (which, BTW, is broken in Ubuntu now --- please see https://bugs.launchpad.net/gnome-tweak-tool/+bug/1228626.
So it's clear that for the Gnome Shell DE the options will be found in Tweak Tool. Now the remaining issue is where this options will be for Unity users.
Reading the comments, and the linked comment on https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 711426, it seems that the GNOME resolution is WONTFIX --- letting the options in gnome-tweak-tool (which, BTW, is broken in Ubuntu now --- please see https:/ /bugs.launchpad .net/gnome- tweak-tool/ +bug/1228626.
So it's clear that for the Gnome Shell DE the options will be found in Tweak Tool. Now the remaining issue is where this options will be for Unity users.