I accidently deleted
/usr/share/gnome-shell
From my PC (Gnome 3.8), so I copied it form my other PC (that has 3.9.1). Now when I start gnome-shell in the terminal, it says there is no key 'toggle-overview' in
org.gnome.shell.keybindings
How can I restore those GLib Schemas?