method private _cb__constr_view_selection_changed = fun () ->
    glade#remove_constr_button#misc#set_sensitive
    (constr_view.sv_view#selection#get_selected_rows <> [])