Le 03/01/2017 à 21:53, Guillaume Munch a écrit :
We can maybe measure how useful this cache is, and remove it if the
difference is not important (which is probably the case).
Removing the cached pointer requires some thinking as well, since
CursorSlice has no way of finding the inset on its own.
You mean that I should think before posting ? Sorry; I was in a hurry
and did not have clear ideas :)
I do not know how to solve the problem. Another version is with Undo,
which has to be cleared on Save As because the Buffer::reload causes
stale inset pointers.
JMarc
