tex file edit worked?