Code Editor : patches.py