Reenable 3.12
Refactor decoration.js so it save the original state of the window as an X property before altering it. This allow pixel-saver to handle much better gnome-shell restart and being enabled/disabled.