Code Editor : texcheck.pyc