Code Editor : texcheck.py