On subsequent reboots the fix of combining #57 and #12 DID work for me (UbuntuGnome 14.04 with Gnome 3.12). So reboot a couple of times...but the problem was always sporadic. I will report back here if the problem reappears.
On subsequent reboots the fix of combining #57 and #12 DID work for me (UbuntuGnome 14.04 with Gnome 3.12). So reboot a couple of times...but the problem was always sporadic. I will report back here if the problem reappears.