rem: gtk_widget_set_sensitive ( GTK_WIDGET ( menu_fichier[3].widget ),
add: gtk_widget_set_sensitive ( GTK_WIDGET ( menu_fichier[SAUVER].widget ),
context: void modification_fichier ( gboolean modif ){  if ( modif )    {      etat.modification_fichier = 1;      gtk_widget_set_sensitive ( GTK_WIDGET ( menu_fichier[3].widget ),				 TRUE );    }  else    {      etat.modification_fichier = 0;      gtk_widget_set_sensitive ( GTK_WIDGET ( menu_fichier[3].widget ),				 FALSE );      if ( ( pid_applet = gnome_config_get_int ( "/Grisbi_applet/PID/PID" )))	kill ( pid_applet, SIGUSR1 );    }}