A cozy text editor