Hi there,

I've seen on this forum some kind of editor which is used with line numbers, like this:

Can somebody tell me what editor this is?

It look very handy with those line numbers.

Thank you in advance.