Yep, that's the same editor (Monaco). This can be easily verified by checking the HTML.