A barebones gui text editor. Written in python, using wxWidgets.