obrien a34b828b7e Acutally our style is "options\x20\x09".
As BDE says:  "options\x09\x09foo" looks quite different from
"options\x20\x09foo" after adding a one or two character prefix.

Notice by:	BDE
1999-10-15 07:07:43 +00:00
..
1999-10-05 21:19:41 +00:00