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 mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel

Reply via email to