Almost a year later, and two release cycles. I observe this problem on ubuntu 13.10. I consider it a real papercut kind of problem, beacuse if some new user accidentially hides the launcher, he might not know how to get it back if he already closed the settings window.
Almost a year later, and two release cycles. I observe this problem on ubuntu 13.10. I consider it a real papercut kind of problem, beacuse if some new user accidentially hides the launcher, he might not know how to get it back if he already closed the settings window.