Re: [TxMt] where did soft tabs go? (rev. 680)