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

Posted by bwhites on Thursday January 12, 2017 @07:25AM
from the ask-hn dept.

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?

( 8 comments | 9 points | on HN )

Re:Ask HN: Does Anyone Know What Text Editor Digital Ocean Use? by dtnewman on Thursday January 12, 2017 @07:29AM (#13381698)

[ Parent | on HN ]

Re:Ask HN: Does Anyone Know What Text Editor Digital Ocean Use? by eswat on Thursday January 12, 2017 @07:31AM (#13381707)

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

[ Parent | on HN ]

Re:Ask HN: Does Anyone Know What Text Editor Digital Ocean Use? by grrandombook on Thursday January 12, 2017 @10:30AM (#13382930)

I tried that but the demo is terrible - surely that isn't it

[ Parent | on HN ]

Re:Ask HN: Does Anyone Know What Text Editor Digital Ocean Use? by NetStrikeForce on Thursday January 12, 2017 @11:45AM (#13383742)

Would you say the demo had a meltdown? :-)

[ Parent | on HN ]

Re:Ask HN: Does Anyone Know What Text Editor Digital Ocean Use? by bwhites on Friday January 13, 2017 @10:11AM (#13391356)

Funny :)

[ Parent | on HN ]

Re:Ask HN: Does Anyone Know What Text Editor Digital Ocean Use? by cweagans on Thursday January 12, 2017 @03:16PM (#13385702)

It is. DO has styled it heavily.

[ Parent | on HN ]

Re:Ask HN: Does Anyone Know What Text Editor Digital Ocean Use? by bwhites on Friday January 13, 2017 @10:11AM (#13391353)

Thank you :)

[ Parent | on HN ]

Re:Ask HN: Does Anyone Know What Text Editor Digital Ocean Use? by anaganisk on Saturday January 14, 2017 @01:06AM (#13397168)

may be a custom theme built on meltdown?

[ Parent | on HN ]