c81c564941
Don't do an individual hover fixup for every window overlay, instead just use the new global.sync_hover() to fix up hovers once we have finished showing the overview. Based on a patch from Adel Gadllah <adel.gadllah@gmail.com> https://bugzilla.gnome.org/show_bug.cgi?id=638613