the daily build 3.8.2-0ubuntu1~bzr511 didn't fix it for me but the gconftool --set command you posted did. Thanks :)
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/747343 Title: [launcher] does not autohide -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
