ah that's interesting. perhaps one day we can add tap also to drawterm :)
------------------------------------------ 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/T84b4492f91f2abb6-M32cd5772864ca5ae40173918 Delivery options: https://9fans.topicbox.com/groups/9fans/subscription
