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 ()