A truly barebones text editor