void gtkmenushell::deactivate	(gtkmenushell *,
                             	 gpointer);
void gtkmenushell::selection-done	(gtkmenushell *,
                                 	 gpointer);
void gtkmenushell::move-current	(gtkmenushell *,
                               	 gtkmenudirectiontype,
                               	 gpointer);
void gtkmenushell::activate-current	(gtkmenushell *,
                                   	 gboolean,
                                   	 gpointer);
void gtkmenushell::cancel	(gtkmenushell *,
                         	 gpointer);