method select_range_in_file ~left ~right =
      let (left, right) = self#range_from_range_in_file ~left ~right in
      let start = buffer#get_iter (`OFFSET left) in
      let stop = buffer#get_iter (`OFFSET right) in
      buffer#select_range start stop