Changing desktop trigger hover and elemnt appear hovered.

[deadal nix <deadalnix gmail com>]

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.

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.

I've found no way to make the difference between that hover and a regular hover, which create a bug in my extension.

1/ Is there a way to make the difference ? What can i do to know am I transitionning from one desktop to the other ?

2/ Is that a bug ???

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.js