Re: Is there any Textadept user here ?

[DTxplorer]

My version is 9.6. ui.set_theme() is the good function for me (and not 
set_theme()), so it seems "ui" is also a buffer. The concept of buffer remains 
mysterious for me, but Textadept is usable now.