jEdit, shown in Figure C.3, is a mature, open-source, programmer's text editor.