Still unfixed and very annoying. There is a newer duplicate bug #784520 which says that toggling Num Lock makes the launcher hide again as well.
Still unfixed and very annoying. There is a newer duplicate bug #784520 which says that toggling Num Lock makes the launcher hide again as well.