Text edittor for python