On Wed, Jan 13, 1999 at 12:18:49PM -0800, David M. Cook wrote:

> Is it possible to insert items into a MenuFactory menu?  All I can think of
> now is destroying the old one and putting a new one in its place.

I figured out how to do it with MenuFactory.get_menu() and GtkMenu.append().

Dave
To unsubscribe: echo "unsubscribe" | mail [EMAIL PROTECTED]

Reply via email to