Code Editor : doctools.py