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
_______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
