Re: [TxMt] feature request: timeout on highlighting