Code Editor : highlighting.py