A sophisticated text editor for code, markup and prose