A programming text editor
