Hello!
In the past, (maybe until I upgraded to v 11), there was a way of using tabs for the editor.
Where is this setting gone? I have tried to uncheck "use spaces instead of tabs" but it doesn't work.
NB: I'm running 11.0.0.00012 on Ubuntu.
Thanks for any hint!