Code Editor : extension.py