Thanks very much Shang. We now have enough debugging to know exactly
which pygtk call is causing the segfault. It's in TerminatorTerm.add()
near the beginning:

      widget.reparent (pane)

-- http://www.debuntu.org Debuntu deb's repository