Zed! That's a blast from the distant past! I enjoyed this 1980 paper about its development: https://onlinelibrary.wiley.com/doi/abs/10.1002/spe.43801001...

EDIT: I just saw in my own comment history that I knew (but forgot) there is a more recent Zed text editor which is probably the one you meant.