Code Editor : progress.js