migrated to textadept 7