Erik Meltzer wrote:
> 
> I first altered, then quit,

Mozilla then rewrites the file. Do it in the other order.

user.js is not meant to be present; you need to create it in your profile
directory if you need it.

Gerv

Reply via email to