Ask HN: Does Anyone Know What Text Editor Digital Ocean Use?

[bwhites]

Recently came across this article on digital ocean. https://www.digitalocean.com/community/questions/how-to-install-zip-in-ubuntu

Their text editor at the bottom is lovely. Had a quick look a source but can't work it out.

Anyone know or can recommend something very similar for wordpress?

[dtnewman]

Seems very similar to this: http://iphands.github.io/Meltdown/

[eswat]

Since the classnames have meltdown in them I’m guessing this is it.