method private _cb__remove_index = fun () ->
match index_view.idx_view#selection#get_selected_rows with
| [path] ->
(* FIXME: use an internal function *)
let iter = index_model#get_iter path in
let index = index_model#get_data iter in
self#_document_changed ();
i_bool (index_model#remove iter);
SQL_db.unlink_index index
| _ -> ()