Code Editor : linter.js