2 ms·Thanks for the pointer. Elastic tabstops is a cool idea.by shrimpx 5y agoThanks for the pointer. Elastic tabstops is a cool idea.