Code Editor : diadefslib.py