Enrico Forestieri wrote: > I'll leave to others the decision about renaming tocString as textString > (which is the most obvious and easy thing to do, IMHO).
I still think it should not be renamed, but splitted up to two functions. We should not use the same function for pasting and the toc. Jürgen
