A minimalistic text editor