jslint preferences