c2f5331187
Since we now put a short timeout in before the start of the actual pie timer we don't start the timer as often as we used to. This allows us to create a new PieTimer object each time a timeout is started and therefore play a finish animation independently of other (new) timeouts. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/688