Bug#693152: gnome-shell: Wrong Gnome-shell setting after system reboot

Hello I have tested today on Debian Wheezy 7.4 with gnome-shell 3.4.2-7+deb7u1 and there is no any problem. Regards Ota 2014-03-17 13:45 GMT+01:00 althaser : > Hey Ota, > > Could you please still reproduce this issue with newer gnome-shell version > like 3.4.2-7+deb7u1 or 3.8.4-5+b1 ? > > tha

Bug#693152: Acknowledgement (gnome-shell: Wrong Gnome-shell setting after system reboot)

Hi, I identified the problem in file /home/USER/.config/dconf/user If this file is deleted, problems disappear after reboot. But some Gnome-shell setting are lost. Additional info is that both laptops were installed from netinst ISO and there has been used gnome-core packace for Gnome instalatio