93d9c16672
Previously the animation was not entirely according to the mockup. Now we are closer to the mockup. The padding for the indicators are decremented, since we need that to make the animation not too quick. As a drawback, maybe visually is not as good as before, or the area to click dots is too much little. Just make that change for now and test it widely, and we can change that after. https://bugzilla.gnome.org/show_bug.cgi?id=707565 |
||
|---|---|---|
| .. | ||
| extensionPrefs | ||
| gdm | ||
| misc | ||
| perf | ||
| ui | ||
| Makefile.am | ||