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 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
