static: jslint-ize editor.js