Closed matthijskooijman closed 10 years ago
Thanks for testing this! Merging, releasing new version.
Oh fyi my patch was merged into GNOME:
https://bugzilla.gnome.org/show_bug.cgi?id=655746
You don't need that anymore.
I mean you don't need my extension, just set org.gnome.desktop.interface.enable-animations
via gconf-editor
and you're done! :-)
Starting from Gnome 3.8+ howk.
It appears that no changes are needed, the extension works just fine as-is on gnome-shell 3.8.4.