method connect_delete_range view_id cb =
      self#remove_delete_range view_id;
      let sid = buffer#connect#delete_range cb in
      delete_range_signal_ids <- (view_id, sid) :: delete_range_signal_ids