Tweaked LaTeX editing settings