865a1cf587
We now cancel animations on override, however we also want to cancel animations altogether on unmap (that is, when hiding the overview) to avoid icons swarming into the void. https://bugzilla.gnome.org/show_bug.cgi?id=736148 |
||
---|---|---|
.. | ||
extensionPrefs | ||
gdm | ||
misc | ||
perf | ||
portalHelper | ||
ui | ||
js-resources.gresource.xml | ||
Makefile.am |