A text editor for code