Use Ace for TeX Edit