Code Editor : options.py