Update with Textadept 7 beta 4 changes