Simple text editor for Android