After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 707814 - pressing two times <super> makes the appMenu disappear for the actual app’
pressing two times <super> makes the appMenu disappear for the actual app’
Status: RESOLVED FIXED
Product: gnome-shell
Classification: Core
Component: general
3.9.x
Other Linux
: Normal normal
: ---
Assigned To: gnome-shell-maint
gnome-shell-maint
Depends on:
Blocks:
 
 
Reported: 2013-09-09 23:08 UTC by Arnaud B.
Modified: 2013-09-10 08:47 UTC
See Also:
GNOME target: ---
GNOME version: 3.9/3.10

Attachments
AppMenu: remove tweens before animating the actor visibility (1.36 KB, patch)
2013-09-10 07:55 UTC, Giovanni Campagna 		committed Details | Review

Description Arnaud B. 2013-09-09 23:08:35 UTC 
When pressing <super> during the access of the overview (in real case, when hitting <super> two times), the appMenu of the actual application isn’t shown before switching workspace / alt-tab / etc. I’m on Fedora’s 3.9.91.
Comment 1 Giovanni Campagna 2013-09-10 07:55:23 UTC 
Created attachment 254557 [details] [review]
AppMenu: remove tweens before animating the actor visibility

When we show(), we need to make sure that the hiding animation
doesn't reach the end, otherwise we would hide the actor but
still have _visible = true.
We were relying on tweener overwriting to do this, but it
doesn't quite work, so better be explicit and do it ourselves.
Comment 2 Florian Müllner 2013-09-10 08:35:01 UTC 
Review of attachment 254557 [details] [review]:

OK
Comment 3 Giovanni Campagna 2013-09-10 08:46:56 UTC 
Attachment 254557 [details] pushed as 15cfb9d - AppMenu: remove tweens before animating the actor visibility