The ultimate text editor