Code Editor : misc.py