a version of the SWTEd text editor in Python