Fix synctex controls with new Ace