GNOME Bugzilla – Bug 792634
Expanded panel menus don't fade out cleanly on close
Last modified: 2018-08-28 06:58:14 UTC
Expanded panel menus don't fade out cleanly on close. 1. Open the panel menu and expand any one of the submenus. 2. Click on the desktop to close the panel menu. Expected: Menu fades out cleanly like when it wasn't expanded. Observed: Expanded part of the menu does not fade out cleanly. I've stumbled on a fix for this so a patch will follow soon.
Created attachment 366995 [details] [review] fix-792634-v1.patch Here's a fix. As an added bonus, gnome-shell's CPU usage is almost halved for the case of a menu left open over a busy desktop :)
Review of attachment 366995 [details] [review]: Looks good to me, works as expected even with themes using opacity.
Review of attachment 366995 [details] [review]: Ah, please get rid of the "More information" part from commit message, and add Bonus up in the commit text if you believe is the case.
Created attachment 367198 [details] [review] fix-792634-v2.patch Same patch, different comments.
The above patch has been superseded by: https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/73
^^^ Fix committed to gnome-shell master now. Scheduled for release in gnome-shell 3.29.92.