My first Android app: A WYSIWYG text editor