Code Editor : filetypes.batch