How do I add a program to the "Quick launch" in 18.10? I expected to edit the "Quick launch" by RMB on the panel and then editing the "Quick launch" widget with the gear button but the gear button does nothing.