Code Editor : misc_util.py