rdo_text_restore(cur, orig, pos_list, file)
cur
.file
not changed by reprompt
with the original ones.
todo: needs clean up, there are unnecessary arguments in particular.
This is used by reprompt
when the source is from a file and the
option to keep the source of unchanged sections as in the original.
(Note that, in general, it is not possible to restore the original Rd
file from the Rd object due to the specifications of the Rd
format. However, equivalent things for the computer are not
necessarily equally pleasant for humans.