129
134
// insert a generated string a given position
130
135
void paste (const WeavePos &pos, const string &str);
132
147
// replace the text between two positions with some new text
133
148
void replace (const WeavePos &from, const WeavePos &to, const string &str);