Sorry, I didn't understood the behavior added by this contribution, and then forgot it. Now it appears that the last pull request that add support for gnome-shell 3.32 also included your code. So I close this one.
Thank you, and my apologies for not coming back to you before.
Sorry, I didn't understood the behavior added by this contribution, and then forgot it. Now it appears that the last pull request that add support for gnome-shell 3.32 also included your code. So I close this one. Thank you, and my apologies for not coming back to you before.