@Florian Boucault: Now, with your above command, the launcher is autohide.
Problem is solved both with 3.8.1 or 3.8.2 (daily build). 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
