Demo: use Ace editor