Code Editor : update_lines.js