method copy_selected f =
      match self#data_selected with
        [] -> ()
      |        l -> f l