Code Editor : document-execcommand.js