pygtk-textbuffer-with-undo (pypi): GTK textbuffer with undo functionality.
Keywords: gtk|undo|buffer|text|input|widget