Code Editor : repair.py