change setting in options.js