Jürgen Spitzmüller wrote: > Enrico Forestieri wrote: > > > I remember that Jean-Marc opted for the renaming. Could it be that we > > > need to split this method, if it's really used for pasting as well? > > > > It is also used for pasting, so the renaming was inappropriate, apparently. > > Indeed, it can lead to pitfalls, as in your case. > > Well, maybe not: in the first place, the InsetMathHull method was not > renamed, > but left as textString (which was then changed in r30538). Maybe this was > intentional (although, of course, the fact that textString was never called > was a bug).
thats question for Richard. it will be good if we at least put more informative comments for the tocstring method. i changed it only because it seemed as oversight... pavel
