Ace editor with additional plugins