Le 28/01/2021 à 15:54, Richard Kimberly Heck a écrit :
- if (cur.needBufferUpdate()) {
+ if (cur.needBufferUpdate() || buffer().needUpdate()) {
cur.clearBufferUpdate();
Shouldn't the Buffer::updateBuffer_ member also be reset here?
Good catch. Thanks.
JMarc
--
lyx-devel maili
On 1/28/21 5:28 AM, Jean-Marc Lasgouttes wrote:
commit f3a0e8ff9a9b914d40eb520bb31674d1ad4eb0d0
Author: Jean-Marc Lasgouttes
Date: Thu Jan 28 10:10:18 2021 +0100
Run updateBuffer when adding/merging changes
Following 4a4ded22, the enabling of some change-related functions is