Jason is already aware about it: we need the "top left reveal" and the "left reveal" options back for the launcher that was removed in current trunk for the "push to reveal" change (this is design official options in gnome-control-center).
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/927523 Title: Need to bring back a "reveal border" option To manage notifications about this bug go to: https://bugs.launchpad.net/unity/+bug/927523/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
