a highly efficient text editor
