Jean-Marc Lasgouttes wrote:
What I have to do now is look at each of the recordUndoFullDocument
and kill them.
We need a recordUndoDocumentParams instead.
Yes, that would be nice. Backing up the whole document whenever the
_view_ of a document changes (counter, etc) is not very clever :-)
Where do we do that? I am surprised.
IIUC, whenever BufferParams is changed after touching the Document
Settings, the whole document contents is saved because
recordUndoFullDocument() is called, isn't it?
Abdel.
