rem: gsb_gui_navigation_remove_report ( gsb_data_report_get_pointer_to_report (current_report_number));
add: gsb_gui_navigation_remove_report ( current_report_number);
context: void efface_etat ( void ){    gint current_report_number;    current_report_number = gsb_gui_navigation_get_current_report ();    if ( !current_report_number )	return;     if ( gtk_notebook_get_current_page ( GTK_NOTEBOOK ( notebook_general)) != 7 )	gtk_notebook_set_page ( GTK_NOTEBOOK ( notebook_general),				7 );   if ( !question_yes_no_hint ( g_strdup_printf (_("Delete report \"%s\"?"),						  gsb_data_report_get_report_name (current_report_number) ),				 _("This will irreversibly remove this report.  There is no undo for this.") ))	return;   /* remove the report */    gsb_data_report_remove ( current_report_number );    /* Update reports list in navigation. */    gsb_gui_navigation_remove_report ( gsb_data_report_get_pointer_to_report (current_report_number));    gtk_widget_set_sensitive ( bouton_personnaliser_etat, FALSE );    gtk_widget_set_sensitive ( bouton_imprimer_etat, FALSE );    gtk_widget_set_sensitive ( bouton_exporter_etat, FALSE );    gtk_widget_set_sensitive ( bouton_dupliquer_etat, FALSE );    gtk_widget_set_sensitive ( bouton_effacer_etat, FALSE );    gtk_widget_set_sensitive ( gtk_item_factory_get_item ( item_factory_menu_general,							   menu_name(_("Reports"), _("Clone report"), NULL)),			       FALSE );    gtk_widget_set_sensitive ( gtk_item_factory_get_item ( item_factory_menu_general,							   menu_name(_("Reports"), _("Print report..."), NULL)),			       FALSE );    gtk_widget_set_sensitive ( gtk_item_factory_get_item ( item_factory_menu_general,							   menu_name(_("Reports"), _("Export report..."), NULL)),			       FALSE );    gtk_widget_set_sensitive ( gtk_item_factory_get_item ( item_factory_menu_general,							   menu_name(_("Reports"), _("Export report as HTML..."), NULL)),			       FALSE );    gtk_widget_set_sensitive ( gtk_item_factory_get_item ( item_factory_menu_general,							   menu_name(_("Reports"), _("Remove report"), NULL)),			       FALSE );    gtk_widget_set_sensitive ( gtk_item_factory_get_item ( item_factory_menu_general,							   menu_name(_("Reports"), _("Edit report..."), NULL)),			       FALSE );    if ( GTK_BIN ( scrolled_window_etat ) -> child )	gtk_widget_hide ( GTK_BIN ( scrolled_window_etat ) -> child );    modification_fichier ( TRUE );}