gnome-shell/js
Giovanni Campagna 15cfb9d1d9 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.

https://bugzilla.gnome.org/show_bug.cgi?id=707814
2013-09-10 10:46:00 +02:00
..
extensionPrefs extensionPrefs: Fix opening extension preferences on startup 2013-02-28 15:37:29 +01:00
gdm loginDialog: Remove "Session" subtitle heading 2013-08-30 10:45:46 -04:00
misc loginManager: Remove login manager versions of PowerOff/Reboot 2013-08-22 16:40:52 -04:00
perf perf: Update to latest overlay changes 2012-08-20 20:40:01 +02:00
ui AppMenu: remove tweens before animating the actor visibility 2013-09-10 10:46:00 +02:00
Makefile.am Magnifier: Implement focus and caret tracking 2013-09-05 13:18:54 -04:00