Code Editor : revlog.py