rem: gtk_widget_set_sensitive ( GTK_WIDGET ( menu_fichier[6].widget ),
add: gtk_widget_set_sensitive ( GTK_WIDGET ( menu_fichier[DERNIERS_FICHIERS].widget ),
context: void affiche_derniers_fichiers_ouverts ( void ){  gint i;  if ( !nb_derniers_fichiers_ouverts )    {      gtk_widget_set_sensitive ( GTK_WIDGET ( menu_fichier[6].widget ),				 FALSE );      return;    }  for ( i=nb_derniers_fichiers_ouverts ; i>0 ; i-- )    {      GnomeUIInfo *menu;      menu = malloc ( 2 * sizeof ( GnomeUIInfo ));      menu -> type = GNOME_APP_UI_ITEM;      menu -> label = tab_noms_derniers_fichiers_ouverts[i-1];      menu -> hint = tab_noms_derniers_fichiers_ouverts[i-1];      menu -> moreinfo = (gpointer) ouverture_fichier_par_menu;      menu -> user_data = tab_noms_derniers_fichiers_ouverts[i-1];      menu -> unused_data = NULL;      menu -> pixmap_type = 0;      menu -> pixmap_info = 0;      menu -> accelerator_key = 0;      menu -> ac_mods = GDK_BUTTON1_MASK;      menu -> widget = NULL;      (menu + 1)->type = GNOME_APP_UI_ENDOFINFO;      gnome_app_insert_menus ( GNOME_APP ( window ),			       "Fichier/Derniers fichiers/",			       menu );    }  gtk_widget_set_sensitive ( GTK_WIDGET ( menu_fichier[6].widget ),			     TRUE );}