Adel Gadllah 16fa186b63 overview: Fix zoom animation ...

When the allocation of the workspacesView changes during the animation we override
the tween with one that does not animate causing the overview zoom animation
not to happen.

Fix that by ignoring the alloactionChanged notification during the overview
animation.

2013-06-24 22:56:17 +02:00

..

extensionPrefs

extensionPrefs: Fix opening extension preferences on startup

2013-02-28 15:37:29 +01:00

gdm

gdm: clear the messages queue when the user answers a prompt

2013-06-18 11:58:20 -03:00

misc

Hash: make .size() constant time

2013-05-12 21:06:34 +02:00

perf

…

ui

overview: Fix zoom animation

2013-06-24 22:56:17 +02:00

Makefile.am

slider: Separate PopupSliderMenuItem into its own widget

2013-06-06 14:00:38 -04:00