Editor used in the plugin page gif?

[gillesbouvier-qz]

I am wondering which editor is used on the plugin page gif? This one: https://raw.githubusercontent.com/amilajack/eslint-plugin-compat/master/img/eslint-plugin-compat-demo.gif

Is it VSCode? if so, I am wondering how to format the eslint tooltips the way they are shown in the gif.

Thanks!