Textadept settings
Ignore textadept session