gnome_mdi_generic_child_set_menu_creator ()
- From: Gustavo Joćo Alves Marques Carneiro <ee96090 fe up pt>
- To: gnome-list gnome org
- Subject: gnome_mdi_generic_child_set_menu_creator ()
- Date: Mon, 14 Dec 1998 21:29:50 +0000 (WET)
In gnome_mdi_generic_child_set_menu_creator (), the function
GnomeMDIChildMenuCreator should return a GList * of menus to be created.
What exactly are those menus? Should they be GnomeUIInfo * or
GtkWidget * ? Thanks in advance.
--
Gustavo J.A.M. Carneiro
World::Portugal::FEUP::DEEC::LEEC::TEC
[reinolinux.fe.up.pt/~ee96090]
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]
