rem: gtk_widget_set_sensitive ( gtk_item_factory_get_item ( item_factory_menu_general, gsb_string_escape_underscores(menu_name(_("File"), _("Save"), NULL))), FALSE );
add: gsb_gui_sensitive_menu_item ( "FileMenu", "Save", NULL, FALSE );
context: void modification_fichier ( gboolean modif ){    if ( modif )    {	if ( DEBUG )	    printf ( "fichier modifie\n" );	etat.modification_fichier = 1;	gtk_widget_set_sensitive ( gtk_item_factory_get_item ( item_factory_menu_general,							       gsb_string_escape_underscores(menu_name(_("File"), _("Save"), NULL))),				   TRUE );    }    else    {	if ( DEBUG )	    printf ( "fichier non modifie\n" );	etat.modification_fichier = 0;	gtk_widget_set_sensitive ( gtk_item_factory_get_item ( item_factory_menu_general,							       gsb_string_escape_underscores(menu_name(_("File"), _("Save"), NULL))),				   FALSE );    }}