A highly configurable text editor built to enable efficient text editing