method get_user_text =
      let start =
        if editable_from = 0
        then buffer#start_iter
        else buffer#get_iter (`OFFSET editable_from)
      in
      buffer#get_text ~start ~stop: buffer#end_iter ()