Bug#624606: gnome-shell forgets favorites

[Richard Kettlewell]

On 19/05/13 15:12, Richard Kettlewell wrote:
> This behavior has reappeared in gnome-shell 3.4.2-7; it has forgotten my
> 'favorites' settings several times in the last week.

I think I've found the pattern.  If the system is rebooted (for 
instance, via 'sudo reboot') while gnome-shell is running, it discards 
'favorites' and starts again with the default set next time you log in.

ttfn/rjk