Code Editor : core-commands.js