A text editor for X