Change text editor from Leo to Textadept