What HTML Editor is this? -

i saw image below in udemy ad on facebook. html editor that? tried searching around no avail.

udemy ad

notepad++ inbuilt ruby blue theme. there more feature complete html editors out there.