Code Editor : extdiff.py