method private _cb__rem_constraint = fun () ->
match constr_view.sv_view#selection#get_selected_rows with
| [path] ->
i_bool (current_constr_store#remove
(current_constr_store#get_iter path))
| _ -> ()