rem: gboolean set_boolean ( GtkWidget * checkbox, guint * dummy)
add: gboolean set_boolean ( GtkWidget * checkbox, gint * dummy)
context: gboolean set_boolean ( GtkWidget * checkbox, guint * dummy){    gboolean *data;    data = g_object_get_data ( G_OBJECT ( checkbox ), "pointer");    if (data)	*data = gtk_toggle_button_get_active (GTK_TOGGLE_BUTTON(checkbox));    /* Mark file as modified */    modification_fichier ( TRUE );    return FALSE;}