Thank you for your fast reply.

I will try to build my version.

Hi folks

Is it possible to change the tab indentation to the white space indentation?

This editor is really nice, but without this option, I cannot use this editor for my projects at my work.



Thanks


Steff