9d18a2dff4
Increasing it was mostly to paper over animation jerkiness which shouldn't be a problem anymore since we removed the desaturate and blur effects. https://bugzilla.gnome.org/show_bug.cgi?id=696380 |
||
---|---|---|
.. | ||
extensionPrefs | ||
gdm | ||
misc | ||
perf | ||
ui | ||
Makefile.am |