On Mon, Jan 7, 2013 at 8:29 AM, Humdinger <humdingerb@xxxxxxxxxxxxxx> wrote: > I know, I remarked on it in the ticket [1]. Do we need a more > complicated solution? After all, Tracker will re-write its settingsfile > with the newly named option after quitting... That doesn't help the fact that it'll lose the user's previous setting, which given what this one does could be quite problematic if you're not expecting it. Regards, Rene