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