Code Editor : patch.py