Code Editor : patcher.js