text editor by python