Code Editor : doctree.py