A minimal text editor