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).
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) .