mirror of
https://github.com/edu4rdshl/gnome-shell.git
synced 2026-07-18 07:34:54 +00:00
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 |
||
|---|---|---|
| .. | ||
| extensionPrefs | ||
| gdm | ||
| misc | ||
| perf | ||
| portalHelper | ||
| ui | ||
| js-resources.gresource.xml | ||
| meson.build | ||
| portal-resources.gresource.xml | ||
| prefs-resources.gresource.xml | ||