add a check child_menu_path != NULL.
add a check child_menu_path != NULL.


1998-12-12  Jaka Mocnik  <jaka.mocnik@kiss.uni-lj.si>

	* gnome-mdi.c (app_set_view): add a check child_menu_path != NULL.

Distrotech/libgnomeui,Distrotech/libgnomeui,Distrotech/libgnomeui