Textadept text editor integration
