Speed up the gnome-shell animation speed
Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.
Version | Status |
---|---|
27 | Active |
26 | Active |
25 | Active |
24 | Active |
23 | Active |
22 | Active |
21 | Active |
20 | Active |
19 | Rejected |
18 | Active |
17 | Active |
16 | Active |
15 | Active |
14 | Active |
13 | Active |
12 | Active |
11 | Active |
10 | Active |
9 | Active |
8 | Active |
7 | Active |
6 | Active |
5 | Active |
4 | Active |
3 | Rejected |
2 | Inactive |
1 | Rejected |
The protections around double-enabling/double-disabling aren't necessary (gnome-shell has the same protections). If you've found a bug with that happening, please report it on the gnome-shell Bugzilla. Since you aren't targeting 3.0 in your shell-versions key, the main method isn't necessary. Consider adding a prefs.js? None of this stuff is reject-worthy, though, so, approved.
Cheers, have removed unnecessary checks / main() function in v2. Will add prefs.js at some later point, probably once I'm using 3.4 fulltime myself ;)
Rejecting after discussion on version 3 (GSettings in 3.2)