Update with Textadept 7 beta 4 API changes

Just some upstream API changes…