A simple and beautiful text editor.