More additions and modifications to LaTeX editor. In particular, more buttons.