Code Editor : ops.py