Code Editor : patch.js