tex file editing settings