Editor used in the plugin page gif? #566

Unanswered

gillesbouvier-qz asked this question in Q&A

gillesbouvier-qz
Apr 11, 2023

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!

Replies: 0 comments

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment