Pipe is a Gtk based text editor implemented and configurable in Python 3