Code Editor : extensions.py