[gps-users] Tab size

[Arnaud Charlet]

> 	I noted that pressing TAB key in editor causes it to insert 0x09 symbol, 
> which is displayed by editor as 8 blank characters independent on what is 
> defined in Preferences->Editor->C/C++->Default Indentation.

The indentation is unrelated to TAB characters.

> 	I tried both with and without "use tabulation" option.
> 
> 	How can one redefine this to be 4 characters, for example?

You can't, currently.

TAB characters should be avoided, since they are non portable across
systems and editors. Use spaces instead, of stay with the default
8 chars which is the closest existing standard/convention for tab
characters.

Arno