an high-end text editor for developers