Le 12/07/2012 18:14, Richard Heck a écrit :
Richard, would it seem right to add a parameter to Buffer::reload asking to preserve the undo stack in this case?You would probably know better than I do. Are there pointers on the undo stack that will be invalidated once we reload?
The undo stack holds a pointer to the buffer (which is OK) and the undo elements hold StableIterators, which do not contain any meaningful pointers. So this should be safe enough IMO.
I will experiment. JMarc
