A text editor for programmers