Code Editor : extras.py