Ce module naguère agréable est devenu moche, non paramétrable, inutile.je l'ai supprimé. Heureusement, il est remplaçable, et de toutes façons, pas indispensable.
Thanks a lot for reporting! This should be fixed in the latest versions. If you are still dealing with this issue, please let us know at https://apps.jeurissen.co/g-app-launcher/contact
