Code Editor : mode-batchfile.js