A text editor for android devices.