2014-03-24, 22:18
I think guisettings.xml gets overwritten from some settings cache as part of a shutdown or reboot from the menu.
There may be another (better) way to preserve an edited guisettings.xml through a reboot, but the reboot command in a terminal session does the job.
There may be another (better) way to preserve an edited guisettings.xml through a reboot, but the reboot command in a terminal session does the job.