Re: [pygtk] I am pissed off

2000-02-25 Thread Frederic Gobry

> Now when I try to use any of the menu stuff it segfaults without 
> explanation.

Happy to see I'm not the only one ;-) I guess there is really a bug, it's
not in your code. But as far as I remember, the stack at crash time does not
point into pygnome, so if there is a bug in it, it appears with some
delay... Perhaps when the callbacks are _defined_...

> PS: I am pissed because I have been trying to use with no success MDI 
> for a while.

Me too. After fixing some things that were easy to fix, I decided to handle
the multi-document aspect in python, at least for the moment...

Frédéric
To unsubscribe: echo "unsubscribe" | mail [EMAIL PROTECTED]



[pygtk] I am pissed off

2000-02-24 Thread Hassan Aurag


 Hi,

I am not sure if I am dumb or it's a bug and then if it is with 
pygnome bindings.

What is wrong with the following:
BEGIN CODE
file_menu = [
UIINFO_MENU_NEW_ITEM(label="Numerical Python Session", tip="Start 
a New Numerical Python Session", cb=start_new_numpy),
UIINFO_MENU_NEW_ITEM(label="Yacas Session", tip="Start a New Yacas 
Session", cb=start_new_yacas),
UIINFO_MENU_NEW_ITEM(label="Other Session", tip="Start Unsupported 
Session", cb=start_new_other),
UIINFO_SEPARATOR,
UIINFO_MENU_PREFERENCES_ITEM(cb=do_pref),
UIINFO_SEPARATOR,
UIINFO_MENU_EXIT_ITEM(cb=mymainquit)
]


help_menu = [
UIINFO_HELP("GMatH"),
UIINFO_MENU_ABOUT_ITEM(cb=about),
UIINFO_SEPARATOR,
UIINFO_ITEM_STOCK("GMatH Online", tip="GMatH Related Web 
Sites",cb=connect_gmath, stock=STOCK_MENU_HOME),
]



menus = [
UIINFO_SUBTREE('Sessions', file_menu),
UIINFO_SUBTREE('Help', help_menu)
]
gmath = GnomeMDI(appname="GMatH", title="GMatH")
gmath.set_menubar_template(menus)
CHILD = GnomeMDIGenericChild("Welcome to GMatH")
CHILD.set_view_creator(mycreate_view)
gmath.add_child(CHILD)
gmath.add_view(CHILD)

##END OF CODE

Now when I try to use any of the menu stuff it segfaults without 
explanation.

Thanks in advance

PS: I am pissed because I have been trying to use with no success MDI 
for a while.




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