Re: [platform-ant-dev] Ant editor indenting

["Bob Foster" <bob@xxxxxxxxxx>]

Can't answer for Ant editor but these options aren't available for default
text editor.

Bob

----- Original Message -----
From: "Gabriele Garuglieri" <gabriele.garuglieri@xxxxxxxxxx>
To: <platform-ant-dev@xxxxxxxxxxx>
Sent: Monday, May 19, 2003 2:30 AM
Subject: [platform-ant-dev] Ant editor indenting


> 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
>
> _______________________________________________
> platform-ant-dev mailing list
> platform-ant-dev@xxxxxxxxxxx
> http://dev.eclipse.org/mailman/listinfo/platform-ant-dev
>