The extension is pixel saver, if that matter. The code concerned is here (look for onAppMenuHover): https://github.com/deadalnix/pixel-saver/blob/master/pixel-saver%40deadalnix.me/app_menu.js2/ Is that a bug ???1/ Is there a way to make the difference ? What can i do to know am I transitionning from one desktop to the other ?I've found no way to make the difference between that hover and a regular hover, which create a bug in my extension.First, the hover event is triggered when changing desktop, which seems very weird. Even weirder, calling get_hover on the app menu return true during this event.Hi all, I'm the author of a gnome shell extension.In this extension, I hook a callback on the app menu when it is hovered. It works well, except when I change desktop.