On Mon, Feb 14, 2000 at 06:35:48AM -0700, Mitch Chapman wrote:
> You'll probably find that connecting to "delete_event" has the
> desired result. I don't know why "destroy_event" doesn't work.
>
> BTW if you do decide to connect to "delete_event" you'll need an extra
> argument:
>
> def _kill(window, event, obj):
> print "Aaagh!"
> gtk.mainquit()
>
That was exactly right. Thank you.
> Also BTW thanks for showing how to use pdb.set_trace(). I don't
> use pdb much, and have been looking for a function which does what
> set_trace() seems to do.
>
You're very welcome! I sure hope the gud integration gets here soon.
--
Randolph
To unsubscribe: echo "unsubscribe" | mail [EMAIL PROTECTED]
