[platform-ant-dev] Ant editor indenting

[Gabriele Garuglieri <gabriele.garuglieri@xxxxxxxxxx>]

Posted this to newsgoup but got no answer.

Pls is it possible to customize ant editor to use an indenting
different from default 4 positions and use spaces instead of defaults tabs?
I couldn't figure out where to change that option.
(and while we are at it where to do the same thing for text editor?).
Thanks, Gabriele