Code Editor : setoption.py