On 01/06/2014 08:11 PM, Patrick Dupre wrote: > Hello, > > After I update from 19 to 20, I lost all my gnome extensions. > How can I have them back? Use the tweak tool to get to gnome extensions and select those available for gnome 3.10 that you want. I miss the CPU temp widget I had back in f17....