A text editor for ChromeOS and Chrome