A desktop text editor based on Ace