Text editor built in Python using the WxPython GUI library