Le 19/12/2025 à 17:23, Koji Yokota a écrit :
I checked with the order of destructor calls. The destructor of Buffer class is
called before that of UndoGroupHelper class, whereas UndoGroupHelper is
dependent on Buffer class.
It seems the destructor of Buffer class should make it sure that all
UndoGroupHelper classes have finished.
It would be interesting to see what theBufferList().isLoaded(buf) and
theBufferList().isInternal(buf) return in the helper destructor. The
question is to know how it is possible to detect that the buffer has
been destroyed.
Do you see some backtrace leading to the destructors.
JMarc
--
lyx-devel mailing list
[email protected]
https://lists.lyx.org/mailman/listinfo/lyx-devel
