Code Editor : repair