Code Editor : distrib.py